把下列谓词公式分别化为相应的子句集: (1)(z)(y)(P(z,y)∧Q(z,y)) (2)(x)(y)(P(x,y)→Q(x,y)) (3)(x)(y)(P(x,y)∨(Q(x,y)→R(x,y))) (4)(x)(y)(z)(P(x,y)∨Q(x,y)∨R(x,z)) (5)(x)(y)(z)(u)(v)(w)(p(x,y,z,u,v,w)∧(Q(x,y,z,u,v,w)∨~R(x,z,w)))
第1题
y)∨(?y)(Q(x,y)∧R(x,y))) (2)( ?z)( ?y)(P(z,y)∨Q(z,x))∨R(u,v)
第3题
,b),P(y,x) (3)P(f(z),y),P(y,f(a)) (4)P(f(y),y,x),P(x,f(a),f(b)) (5)P(x,y),P(y,x)
第4题
P(x,y) (2)F1:(?x)(P(x)∧(Q(a)∨Q(b))) G:(?z)(P(x)∧Q(x)) (3)F1:(?x)(?y)(P(f(x))∧Q(f(b))) G:P(f(a))∧P(y)∧Q(y) (4)F1:(?x)(P(x)→(?y)(Q(y)→~L(x,y))) F2:(?z)(P(x)∧(?y)(R(y)→L(x,y))) G:(?x)(R(z)→~Q(x)) (5)F1:(?x)(P(x)→(Q(x)∧R(x))) F2:(?x)(P(x)∧S(x)) G:(?x)(S(x)∧R(x)) (6)F1:(?z)(A(z)∧~B(z)→(?y)(D(z,y)∧C(y))) F2:(?z)(E(z)∧A(z)∧(?y)(D(z,y)→E(y))) F3:(?z)(E(x)→~B(z)) G:(?z)(E(z)∧C(z))
第8题
H={a,f(a),f(f(a)),…} A={P(a),Q(a),R(a),P(f(a)),Q(f(a)),R(f(a)),…} 如果设I是D上的解释,并作如下的设定: I.f(1) f(2) P(1) P(2) Q(1) Q(2) R(1) R(2) 2 2 T F F T F T 请构造H域上的一个解释I*与I相对应,且使S|I*=T。
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!