当前位置：首页 >
离散数学(02324) > 正文内容
设解释I如下:论域D={2,3},f(2)=3,f(3)=2,F(2,2)=0,F(2,3)=0,F(3,2)=1,F(3,3)=1。试求出下列公式在I下的真值。
(1)F(2,f(2))⋀F(3,f(3));
(2)∀x ∃yF(y,x);
(3)∀x∃yF(x,y);
(4)∀x∀y(F(x,y)→F(f(x),f(y)))。
设解释I如下:论域D={2,3},f(2)=3,f(3)=2,F(2,2)=0,F(2,3)=0,F(3,2)=1,F(3,3)=1。试求出下列公式在I下的真值。
(1)F(2,f(2))⋀F(3,f(3));
(2)∀x ∃yF(y,x);
(3)∀x∃yF(x,y);
(4)∀x∀y(F(x,y)→F(f(x),f(y)))。
(1)0。
(2)1。
(3)0。
(4)0。
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。