注意：此页面搜索的是所有试题
题目内容
（佳木斯大学语言治疗学）
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证
·永真式\t\t\t
·包孕式（subsumed）\t\t
·空子句
·永真式\t\t\t
·包孕式（subsumed）\t\t
·空子句
参考答案
