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

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