将谓词公式G=（x)（（y)P（x y)→～（y)（Q（x y)→R（x y)))化为Skolem标准型。
-
正确答案：解 按照将谓词公式化为Skolem标准型的步骤解题如下： (1)取消“→”和“←→”连接词。 (?x)(～(?y)P(xy)∨～(?y)(～Q(xy)∨R(xy))) (2)把“～”的辖域减少到最多只作用于一个谓词。 (?x)((?y)～P(xy)∨(?y)(Q(xy)∧～R(xy))) (3)变量更名。 (?x)((?y)～P(xy)∨(?z)(Q(xz)∧～R(xz))) (4)消存在量词。因为存在量词(?y)和(?z)都在的辖域(?x)内属于上述所讲的第二种情况所以分别用Skolem函数f(x)和g(x)替换y和z。 (?x)(～P(xf(x))∨(Q(xg(x))∧～R(xg(x)))) (5)全称量词移到左边。由于只有一个全称量词(?x)已在左边所以不必移动。 (6)将母式化为合取范式。 (?x)((～P(xf(x))∨Q(xg(x)))∧(～P(xf(x))∨～R(xg(x))))
解按照将谓词公式化为Skolem标准型的步骤解题如下：(1)取消“→”和“←→”连接词。(?x)(～(?y)P(x,y)∨～(?y)(～Q(x,y)∨R(x,y)))(2)把“～”的辖域减少到最多只作用于一个谓词。(?x)((?y)～P(x,y)∨(?y)(Q(x,y)∧～R(x,y)))(3)变量更名。(?x)((?y)～P(x,y)∨(?z)(Q(x,z)∧～R(x,z)))(4)消存在量词。因为存在量词(?y)和(?z)都在的辖域(?x)内,属于上述所讲的第二种情况,所以分别用Skolem函数f(x)和g(x)替换y和z。(?x)(～P(x,f(x))∨(Q(x,g(x))∧～R(x,g(x))))(5)全称量词移到左边。由于只有一个全称量词(?x),已在左边,所以不必移动。(6)将母式化为合取范式。(?x)((～P(x,f(x))∨Q(x,g(x)))∧(～P(x,f(x))∨～R(x,g(x))))