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

设解释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下的真值。

【正确答案】：

【题目解析】：

若指定谓词公式的论域为有限集，则可通过下列公式将量词消去。消去量词和个体变元后，就变成普通的命题公式进行赋值运算，得到给定的谓词公式的真值。