设解释 I如下: D = {2，3}， F( 2 ,2) = F( 3 ,3) = 0 , F( 2 ,3) = F( 3 ,2
2024-08-03离散数学(02324)
设解释 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下的真值。
【正确答案】：
【题目解析】：
若指定谓词公式的论域为有限集则可通过下列公式将量词∀、∃消去。消去量词和个体变元后，就变成普通的命题公式进行赋值运算，得到给定的谓词公式的真值。
