关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2022-06-09 A为任意命题公式，B为矛盾式，则A∧B是（ ） A: 矛盾式 B: 永真式 C: 可满足式 D: 蕴涵式 A为任意命题公式，B为矛盾式，则A∧B是（ ）A: 矛盾式B: 永真式C: 可满足式D: 蕴涵式 答案： 查看 举一反三 P为任意命题公式，Q为重言式。则PVQ是( ) A: 矛盾式 B: 可满足式 C: 蕴涵式 D: 重言式 设A,B为命题公式,A=>A∨B为附加律推理公式,则A(A∨B)公式类型为()。 A: 矛盾式 B: 永真式 C: 可满足式 谓词公式如同命题公式，根据真值可分为永真式、矛盾式和可满足式 【单选题】请判断命题公式 p∨q∧r→p∧r的类型 A 重言式(永真式) B 矛盾式(永假式) C 非永真的可满足式 D 无法判定 A. 重言式（永真式） B. 矛盾式（永假式） C. 非永真的可满足式 D. 无法判定 如果命题公式A不是永假式（或矛盾式），则A一定是一个可满足式。
