网友您好， 请在下方输入框内输入要搜索的题目：
题目内容
（请给出正确答案）
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
A.永真式
B.包孕式(subsumed)
C.空子句
参考答案
更多 “ 反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。 A.永真式B.包孕式(subsumed)C.空子句 ” 相关考题
考题
若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)
考题
3、谓词逻辑中使用归结进行定理的自动证明，与命题定理自动证明相比，宏观上步骤相同，分别是1）构造所有条件和结论非的合取式；2）将上述合取式化为可归结的子句集；3）对上述子句集中的子句进行归结，如果归结为空则得证。关于谓词和命题中上述三个步骤的具体实施过程，下面说法正确的是（)。A．在谓词和命题中第1步的实施过程相同B．在谓词和命题中第2步的实施过程不同，后者需要处理变量和量词C．在谓词和命题中第3步的实施过程不同，后者可能需要置换D．3步的处理实施过程完全不同
考题
1、下列说法正确的是（）A．归结原理是一种基于归纳法的自动定理证明技术B．应用归结原理不能判定命题逻辑公式不成立C．吴方法是一种基于代数计算的自动定理证明方法D．（无）
热门标签
最新试卷