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

反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。

A.永真式

B.包孕式(subsumed)

C.空子句

相关考题：

56、归结反演求解问题时将问题的否定和Answer谓词析取后加入公式集，最终答案就在Answer谓词中
查看答案
10、下列说法正确的是（）A．归结原理是一种基于归纳法的自动定理证明技术B．应用归结原理不能判定命题逻辑公式不成立C．吴方法是一种基于代数计算的自动定理证明方法D．无
查看答案
若C1=P（x) ∨Q（x)，C2=┐P（a) ∨R（y)，则C1和C2的归结式R（C1，C2）=（)A．P(x) ∨Q(x)B．P(a) ∨Q(x)C．Q(x) ∨R(y)D．Q(a) ∨R(y)
查看答案
8、反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A．永真式B．包孕式C．空子句D．重言式
查看答案
逻辑代数的基本定理有哪些？A．吸收定理B．摩根定理C．多余项定理D．反演定理E．包含定理F．互补定理G．重叠定理
查看答案
反演归结（消解）证明定理时，若当前归结式是（）时，则定理的证。A．永真式B．包孕式C．空子句
查看答案
3、谓词逻辑中使用归结进行定理的自动证明，与命题定理自动证明相比，宏观上步骤相同，分别是1）构造所有条件和结论非的合取式；2）将上述合取式化为可归结的子句集；3）对上述子句集中的子句进行归结，如果归结为空则得证。关于谓词和命题中上述三个步骤的具体实施过程，下面说法正确的是（)。A．在谓词和命题中第1步的实施过程相同B．在谓词和命题中第2步的实施过程不同，后者需要处理变量和量词C．在谓词和命题中第3步的实施过程不同，后者可能需要置换D．3步的处理实施过程完全不同
查看答案
归结原理实现定理证明基于的是产生式知识表示形式
查看答案
1、下列说法正确的是（）A．归结原理是一种基于归纳法的自动定理证明技术B．应用归结原理不能判定命题逻辑公式不成立C．吴方法是一种基于代数计算的自动定理证明方法D．（无）
查看答案
热门标签