对于一阶谓词逻辑,若子句集是不可满足的,则必存在一个从该子句集到空子句的归结演绎。()

A、正确
B、错误
查看答案

所属分类: 其他知识

浏览量: 127

相关试题 (自动搜索相关试题 快找找有你想要的嘛?)