[课堂练习]
3、
已知子句：P(x)∨
～
Q(g(y))和
～
P(f(y))∨Q(x)，并且已知它们通过消解推理后，得到消解式P(g(y))∨
～
P(f(y))，请问这运用了置换:
A
σ＝{f(y)/x}
B
σ＝{g(y)/x}
C
σ＝{f(y)/y}
D
σ＝{g(y)/y}
(本题您已经做了，答案为B,在此仅供复习用,不能再计分!)
返回课堂
[课堂练习]