设解释I如下：D={2,3}，已知F(2，2)=F(3，3)=0，F(2，3)=F(3，2)=1，f（2，2)=f(2，3)=2,f（3，2)=f（3，3)=3。 求谓词公式
在I下的真值。
【正确答案】：
【题目解析】：
若指定谓词公式的论域为有限集 ，
则可通过下列公式将量词
消去。
消去量词和个体变元后，就变成普通的命题公式进行赋值运算，得到给定的谓词公式的真值。
设解释I如下：D={2,3}，已知F(2，2)=F(3，3)=0，F(2，3)=F(3，2)=1，f（2，2)=f(2，3)=2
【正确答案】：
【题目解析】：
📱 扫码体验刷题小程序
扫一扫使用我们的微信小程序