[课堂练习]
1
、
现有两个子句 :
P[x,f(A),g(x)]∨P［x,f(y)]∨Q(y)和
～
P[z,f(A),g(z)]∨
～
Q(z)
(1)当取｛li｝=｛P[x,f(A),g(x)]｝和｛mi｝=｛
～
P[z,f(A),g(z)]｝时，则可得到消解式:
A
B
C
D
E
F
G
[课堂练习]