试题详情
简答题命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么?
  • 谓词逻辑比命题逻辑更复杂,由于谓词逻辑中的变量受到量词的约束,在归结之前需要对变量进行重命名即变量标准化,而在命题逻辑中的归结则不需要。
  • 关注下方微信公众号,在线模考后查看

热门试题