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

子句集中的子句之间是合取关系。因此，子句集中只要有一个子句为不可满足，则整个子句集就是不可满足的。

子句集中的子句之间是合取关系。因此，子句集中只要有一个子句为不可满足，则整个子句集就是不可满足的。
A.正确
B.错误
正确答案：正确
标签：用Python学人工智能 子句 关系
上一条：由于空子句不含有任何文字，也就不能被任何解释所满足，因此空子句是永假的，不可满足的。
下一条：空子句是不可满足的。因此，一个子句集中如果包含有空子句，则此子句集就一定是不可满足的。