对
错
第1题：
A.一阶谓词
B.原子公式
C.二阶谓词
D.全称量词
第2题：
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
第3题：
下面的谓词公式是有效式的是
A．Ⅰ和Ⅱ
B．只有Ⅱ
C．只有Ⅲ
D．只有Ⅰ
第4题：
谓词公式与其子句集的关系是（）。
第5题：
仅个体变元被量化的谓词称为（）
第6题：
消解是一种可用于一定的（）的重要推理规则。
第7题：
归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
第8题：
此题为判断题(对，错)。
第9题：
在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。
第10题：
合一算法：求非空有限具有相同谓词名的原子公式集的（）