多做题,通过考试没问题!

人工智能

睦霖题库>大学试题(计算机科学)>人工智能

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

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

微信扫一扫手机做题