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