关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2022-11-03 谓词公式如同命题公式，根据真值可分为永真式、矛盾式 谓词公式如同命题公式，根据真值可分为永真式、矛盾式 答案： 查看 举一反三 谓词公式如同命题公式，根据真值可分为永真式、矛盾式和可满足式 设A,B为命题公式,A=>A∨B为附加律推理公式,则A(A∨B)公式类型为()。 A: 矛盾式 B: 永真式 C: 可满足式 A为任意命题公式，B为矛盾式，则A∧B是（ ） A: 矛盾式 B: 永真式 C: 可满足式 D: 蕴涵式 谓词公式xP(x)→xP(x)的类型为永真式。 谓词公式[img=226x28]17869c50204db14.png[/img]是( ). A: 永真式 B: 中性式 C: 无法确定 D: 永假式
