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

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

填空题查看答案

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

填空题查看答案

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

判断题查看答案

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

判断题查看答案

子句集的化简的步骤？‘

简答题查看答案

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

填空题查看答案

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

填空题查看答案

设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。

填空题查看答案

求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。

多选题查看答案