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

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

精华吧→答案→远程教育→联大学堂

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

A.永真式

B.包孕式（subsumed）

C.空子句

D.以上都不对

正确答案：C

Tag：人工智能定理子句时间：2024-02-08 10:59:09

上一篇：计算智能的主要内容包括（）
下一篇：（A→B）∧A=>B是（）

相关答案

热门答案