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