关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2022-06-03 中国大学MOOC: 可满足公式的否定是不可满足的，也就是永假公式 中国大学MOOC: 可满足公式的否定是不可满足的，也就是永假公式 答案： 查看 举一反三 如果命题公式A不是永假式（或矛盾式），则A一定是一个可满足式。 下列判断正确的是（ ） A: 公式A是重言式，则A的否定一定是矛盾式。 B: 公式A是矛盾式，其否定一定是重言式。 C: 重言式一定是可满足式。 D: 可满足式的否定是矛盾式。 E: 可满足式的否定也是可满足式。 中国大学MOOC: 谓词公式不可满足的充要条件是其子句集不可满足。 永假式的否定一定是（ ） A: 永真式 B: 永假式 C: 可满足式 D: 矛盾式 谓词公式具有以下哪些特性 A: 永真性 B: 永假性 C: 可满足性 D: 不可满足性
