注意：此页面搜索的是所有试题
题目内容
（信阳师范学院 人工智能）
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
A.永真式
B.包孕式（subsumed）
C.空子句
D.以上都不对
A.永真式
B.包孕式（subsumed）
C.空子句
D.以上都不对
参考答案