设解释I如下: D = {2 ,3} ,a =3,F(2 ,2) =F(3 ,3) =0 ,F(2 ,3) =F(3 ,2) =

设解释I如下: D = {2 ,3} ,a =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下的真值。

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