对
错
第1题：
关系模犁是一种新的数据库模型。它是建立在严格的数学理论、【 】和谓词演算公式基础上的。
第2题：
公式化简法就是运用逻辑代数中的各种定理、公式以及运算规则把逻辑表达式加以简化的方法。
第3题：
下面的谓词公式是有效式的是
A．Ⅰ和Ⅱ
B．只有Ⅱ
C．只有Ⅲ
D．只有Ⅰ
第4题：
归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
第5题：
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
第6题：
A.一阶谓词
B.原子公式
C.二阶谓词
D.全称量词
第7题：
消解是一种可用于一定的（）的重要推理规则。
第8题：
此题为判断题(对，错)。
第9题：
命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
第10题：
仅个体变元被量化的谓词称为（）