精选优质文档-倾情为你奉上1 判断下列公式是否为可合一，若可合一，则求出其最一般合一。(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)解：(1) 可合一，其最一般和一为：=a/x, b/y。(2) 可合一，其最一般和一为：=y/f(x), b/z。(3) 可合一，其最一般和一为：= f(b)/y, b/x。(4) 不可合一。2 把下列谓词公式化成子句集：(1) (x)(y)(P(x, y)Q(x, 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) 解：(1) 由于(x)(y)(P(x, y)Q(x, y)已经是Skolem标准型，且P(x, y)Q(x, y)
