关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2021-04-14 设()A(),()B()为任意命题公式,()C()为重言式,若()A()∧()C<=>B()∧()C(),那么()A<->B()是()_________()(重言式、矛盾式或可满足式). 设()A(),()B()为任意命题公式,()C()为重言式,若()A()∧()C<=>B()∧()C(),那么()A<->B()是()_________()(重言式、矛盾式或可满足式). 答案： 查看 举一反三 P为任意命题公式，Q为重言式。则PVQ是( ) A: 矛盾式 B: 可满足式 C: 蕴涵式 D: 重言式 给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式 设A为任意的公式,B为矛盾式,则AÙB的公式类为()。 A: 重言式 B: 矛盾式 C: 可满足式 D: 以上都不对 命题公式P→(Q∨P)是 A: 矛盾式 B: 可满足式 C: 重言式 D: 等价式 命题公式(P∨Q)→Q为() A: 矛盾式 B: 可满足式 C: 重言式 D: 合取范式
