关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2022-05-30 设A,B为命题公式,A=>A∨B为附加律推理公式,则A(A∨B)公式类型为()。 A: 矛盾式 B: 永真式 C: 可满足式 设A,B为命题公式,A=>A∨B为附加律推理公式,则A(A∨B)公式类型为()。A: 矛盾式B: 永真式C: 可满足式 答案： 查看 举一反三 A为任意命题公式，B为矛盾式，则A∧B是（ ） A: 矛盾式 B: 永真式 C: 可满足式 D: 蕴涵式 谓词公式如同命题公式，根据真值可分为永真式、矛盾式和可满足式 设A为任意的公式,B为矛盾式,则AÙB的公式类为()。 A: 重言式 B: 矛盾式 C: 可满足式 D: 以上都不对 谓词公式如同命题公式，根据真值可分为永真式、矛盾式 命题公式(PÙQ）®P是( ) A: 永真式 B: 永假式 C: 可满足式 D: 合取式
