多做题，通过考试没问题！

人工智能

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

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

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

微信扫一扫手机做题

最新试题
热门试题