设解释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)

设解释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。

↑

设解释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)

相关题目