问题 问答题 简答题

命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么?

答案

参考答案:谓词逻辑比命题逻辑更复杂,由于谓词逻辑中的变量受到量词的约束,在归结之前需要对变量进行重命名即变量标准化,而在命题逻辑中的归结则不需要。

问答题 简答题
单项选择题