完整版第3章 参考答案.docVIP

3.8 判断下列公式是否为可合一，若可合一，则求出其最一般合一。 (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) 解：(1) 可合一，其最一般和一为：σ={a/x, b/y}。 }。 可合一，其最一般和一为：σ={y/f(x), b/z(2) }。 可合一，其最一般和一为：σ={ f(b)/y, b/x(3) (4) 不可合一。 }。 可合一，其最一般和一为：σ={ y/x(5) 3.11 把下列谓词公式化成子句集： ??y)(P(x, y)∧x)((1) (Q(x, y)) ??y)(P(x, y)→x)((2) (Q(x, y)) ??y)(P(x, y)∨(Q(x, y)x)(→R(x, y))) (3) (???z)(P(x, y)→Q(x, y)y) (∨(4) (R(x, z)) x) (??y)(P(x, y)∧Q(x, y))已经是Skolem标准型，且由于(P(x, y)x)(∧Q(x, y)已经是 解：(1) 合取范式，所以可直接消去全称量词、合取词，得 { P(x, y),