关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2022-06-04 设有谓词公式F，其标准子句集为S，请问以下哪一个选项的说法是正确的？ A: F不可满足则S也不可满足 B: F可满足则S可满足 C: S不可满足则F不可满足 D: S可满足则F可满足 设有谓词公式F，其标准子句集为S，请问以下哪一个选项的说法是正确的？A: F不可满足则S也不可满足B: F可满足则S可满足C: S不可满足则F不可满足D: S可满足则F可满足 答案： 查看 举一反三 以下哪一项表明谓词公式F和其标准子句集为S之间的关系？ A: S不可满足则F不可满足 B: F不可满足则S不可满足 C: S可满足则F可满足 D: F可满足则S可满足 中国大学MOOC: 谓词公式不可满足的充要条件是其子句集不可满足。 鲁滨逊归结原理中空子句是不可满足的，若一个子句集包含空子句集，则这个子句集一定是不可满足的 空子句是不可满足的。因此，一个子句集中如果包含有空子句，则此子句集就一定是不可满足的。 子句集中的子句之间是合取关系。因此，子句集中只要有一个子句为不可满足，则整个子句集就是不可满足的。
