判断下列公式是否为可合一，若可合一，则求出其最一般合一。（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: 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: y'+p(x)y=f(x) B: y'+p(x)y=f(x)y C: y'+xy=f(x)y D: y'+p(x)/y=f(x)
- 已知表达式P[x, f(y), B]的两个置换为：s1={z/x, w/y}，s2={q(z)/x, A/y}，则以下选项正确的是（ ） A: P[x,f(y),B]s1= P[z/x,f(w/y),B] B: P[x,f(y),B]s2= P[q(z),A,B] C: P[x,f(y),B]s1= P[z,f(w),B] D: P[x,f(y),B]s2= P[q(z),f(A),B]
- 对谓词公式（∀x)((∃y)﹁P(x，y)∨(∃y)( Q(x，y) ∧﹁R(x，y)))化简可以得到包含哪几项的子句？ A: P(x,f(x))∨Q(x,g(x)) B: ﹁P(x,f(x))∨Q(x,g(x)) C: ﹁P(y,f(y))∨﹁R(y,g(y)) D: P(y,f(y))∨R(y,g(y))
- 3.4对下列各题分别证明G是否为F1,F2,…,Fn的逻辑结论：(1)F:(Ǝx)(Ǝy)(P(x,y)G:(ꓯy)(Ǝx)(P(x,y)(2)F:(ꓯx)(P(x)∧(Q(a)∨Q(b)))G:(Ǝx)(P(x)∧Q(x))(3)F:(Ǝx)(Ǝy)(P(f(x))∧(Q(f(y)))G:P(f(a))∧P(y)∧Q(y)(4)F1:(ꓯx)(P(x)→(ꓯy)(Q(y)→[img=1x1]17e0a6a55067d30.gif[/img]L(x.y)))F2:(Ǝx)(P(x)∧(ꓯy)(R(y)→L(x.y)))G:(ꓯx)(R(x)→[img=1x1]17e0a6a55067d30.gif[/img]Q(x))(5)F1:(ꓯx)(P(x)→(Q(x)∧R(x)))F2:(Ǝx)(P(x)∧S(x))G:(Ǝx)(S(x)∧R(x))