归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。

基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。

判断题查看答案

谓词公式与其子句集的关系是（）。

填空题查看答案

谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。

填空题查看答案

命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？

简答题查看答案

在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。

填空题查看答案

支持集策略对参加归结的子句提出了什么限制？

简答题查看答案

在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。

填空题查看答案

合一算法：求非空有限具有相同谓词名的原子公式集的（）

填空题查看答案

合一算法：求非空有限具有相同谓词名的原子公式集的（）。

填空题查看答案