求下列各式的斯柯伦标准形与子句集.docVIP

练习3.1 1、求下列各式的斯柯伦标准形和子句集。 （1）┐((xP(x)→(y(zQ(y, z)) （2）(x(┐E(x, 0)→(y(E(y, g(x))∧(z(E(z, g(x))→E(y, z)))) （3）┐((xP(x)→(y P(y)) （4） （1）∧（2）∧（3） 解（1）┐((xP(x)→(y(zQ(y, z))┝┥┐(xP(x)∧(y(zQ(y, z) ┝┥(x┐P(x)∧(y(zQ(y, z) 斯柯伦标准形：┐P(e1)∧Q(e2, z) 子句集：{┐P(e1)，Q(e2, z)} ? （2）(x(┐E(x, 0)→(y(E(y, g(x))∧(z(E(z, g(x))→E(y, z)))) ┝┥(x(y(z (E(x, 0)∨(E(y, g(x))∧(┐E(z, g(x))∨E(y, z)))) ┝┥(x(y(z ((E(x, 0)∨E(y, g(x)))∧(E(x, 0)∨┐E(z, g(x))∨E(y, z))) 斯柯伦标准形：(E(x, 0)∨E(f(x), g(x)))∧(E(x, 0)∨┐E(z, g(x))∨E(f(x), z)) 子句集：{ E(x, 0)∨E(f(x), g(x)), E(x, 0)∨┐E(z, g(x))∨E(f(x), z)}