反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。A.永真式B.包孕式(subsumed)C.空子句

第1题：

逻辑代数的基本定理有哪些？

A．吸收定理

B．摩根定理

C．多余项定理

D．反演定理

E．包含定理

F．互补定理

G．重叠定理

第2题：

3、谓词逻辑中使用归结进行定理的自动证明，与命题定理自动证明相比，宏观上步骤相同，分别是1）构造所有条件和结论非的合取式；2）将上述合取式化为可归结的子句集；3）对上述子句集中的子句进行归结，如果归结为空则得证。关于谓词和命题中上述三个步骤的具体实施过程，下面说法正确的是（)。

A．在谓词和命题中第1步的实施过程相同

B．在谓词和命题中第2步的实施过程不同，后者需要处理变量和量词

C．在谓词和命题中第3步的实施过程不同，后者可能需要置换

D．3步的处理实施过程完全不同

第3题：

1、下列说法正确的是（）

A．归结原理是一种基于归纳法的自动定理证明技术

B．应用归结原理不能判定命题逻辑公式不成立

C．吴方法是一种基于代数计算的自动定理证明方法

D．（无）

第4题：

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

A．永真式

B．包孕式

C．空子句

第5题：

归结原理实现定理证明基于的是产生式知识表示形式