以下公式对哪个是不可合一的()
A: P(y,y,b)，P(z,x,z)
B: P(x,b,b)，P(a,y,z)
C: 2+3=x，x=3+3
D: P(f(a),g(s))，P(y,y)
A: P(y,y,b)，P(z,x,z)
B: P(x,b,b)，P(a,y,z)
C: 2+3=x，x=3+3
D: P(f(a),g(s))，P(y,y)
举一反三
- 判断下列公式是否为可合一，若可合一，则求出其最一般合一。（1）P（a，b），P（x，y）（2）P（f（x），b），P（y，z）（3）P（f（x），y），P（y，f（b））（4）P（f（y），y，x），P（x，f（a），f（b））（5）P（x，y），P（y，x）
- 下列哪个不是谓词公式() A: ∀x(P(x)→Q(x)) B: ∃z(∀x∃y∨P(z)) C: ∃x(P(x)∧P(y)) D: ∃y(∀x(P(x,y))→∀x(P(x)))
- 下列哪个不是谓词公式() A: ∀x(P(x)→Q(x)) B: ∃z(∀x∃y∨P(z)) C: ∃x(P(x)∧P(y)) D: ∃y(∀x(P(x,y))→∀x(P(x)))
- 下列哪个不是谓词公式() A: ∀x﹁(P(x)→Q(x)) B: ∃y(∀x(P(x,y))→∀x(Q(x))) C: ﹁∃x(P(x)∨P(y)) D: ∃z∀x(∃y∨P(z))
- 将公式∀x(P(x)→Q(x，y))∧R(x，y)使用改名规则变换后正确的是 。 A: ∀z(P(z)→Q(z，y))∧R(x，y) B: ∀y(P(y)→Q(y，y))∧R(x，y) C: ∀z(P(z)→Q(x，y))∧R(x，y) D: ∀z(P(z)→Q(z，y))∧R(z，y)