（简答题）
命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
正确答案
谓词逻辑比命题逻辑更复杂，由于谓词逻辑中的变量受到量词的约束，在归结之前需要对变量进行重命名即变量标准化，而在命题逻辑中的归结则不需要。
答案解析
略
相似试题
（填空题）
谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（）
（判断题）
归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
（简答题）
产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？
（填空题）
一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
（填空题）
谓词逻辑中，重言式（tautlogy）的值是（）。
（简答题）
一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？
（多选题）
谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。
（单选题）
命题：“Z比X、Y都大”的VB逻辑表达式为（）。
（填空题）
几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
