反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。|人工智能考试试题

首页->人工智能

反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。

（A）永真式

（B）包孕式（subsumed）

（C）空子句

参考答案

继续答题：下一题

微考学堂

微考学社

更多人工智能试题

考试