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

首页->ai人工智能

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

（A）永真式

（B）包孕式（subsume

（D）

（C）空子句

参考答案

继续答题：下一题

微考学堂

微考学社

更多ai人工智能试题

考试