（判断题）
归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
A对
B错
正确答案
答案解析
略
相似试题
（判断题）
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
（填空题）
谓词公式与其子句集的关系是（）。
（填空题）
谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。
（简答题）
命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
（填空题）
在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
（简答题）
支持集策略对参加归结的子句提出了什么限制？
（填空题）
在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。
（填空题）
合一算法：求非空有限具有相同谓词名的原子公式集的（）
（填空题）
合一算法：求非空有限具有相同谓词名的原子公式集的（）。
