（填空题）
谓词公式与其子句集的关系是（）。
正确答案
答案解析
略
相似试题
（填空题）
合一算法：求非空有限具有相同谓词名的原子公式集的（）
（填空题）
合一算法：求非空有限具有相同谓词名的原子公式集的（）。
（判断题）
归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
（判断题）
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
（简答题）
子句集的化简的步骤？‘
（填空题）
在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。
（填空题）
谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。
（填空题）
设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。
（多选题）
求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。
