首页 › 答案 › 题库 › 慕课 › 未分类

谓词公式不可满足的充要条件是其子句集不可满足。

谓词公式不可满足的充要条件是其子句集不可满足。
A.正确
B.错误
正确答案：正确

标签：人工智能导论谓词子句

上一条：空子句是可以满足的。

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