[课堂练习]
3、
现有两个子句：B(x)∨
～
A(x)和D(x)∨A(x)∨
～
B(x)，在运用消解推理后，其可能的消解式为:(此题为多选题，少选、错选、多选均不得分）
A
σ＝{f(y)/x}
B
σ＝{g(y)/x}
C
σ＝{f(y)/y}
D
σ＝{g(y)/y}
返回课堂
[课堂练习]