问答题
简答题
命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
【参考答案】
谓词逻辑比命题逻辑更复杂，由于谓词逻辑中的变量受到量词的约束，在归结之前需要对变量进行重命名即变量标准化，而在命题逻辑中......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
相关考题
-
问答题
全局择优搜索A算法描述？ -
问答题
简述鲁滨逊归结原理基本思想？ -
问答题
子句集的化简的步骤？‘
