关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2021-04-14 中国大学MOOC: 对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。 中国大学MOOC: 对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。 答案： 查看 举一反三 对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。 对于一阶谓词逻辑,若子句集是不可满足的,则必存在一个从该子句集到空子句的归结演绎。[br][/br] [br][/br] A: 对 B: 错 鲁滨逊归结原理中空子句是不可满足的，若一个子句集包含空子句集，则这个子句集一定是不可满足的 空子句是不可满足的。因此，一个子句集中如果包含有空子句，则此子句集就一定是不可满足的。 中国大学MOOC: 谓词公式不可满足的充要条件是其子句集不可满足。
