关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2022-06-01 利用基本等价式,对给定公式进行等值推导,若该公式的真值为0,则该公式为永假式。 利用基本等价式,对给定公式进行等值推导,若该公式的真值为0,则该公式为永假式。 答案： 查看 举一反三 谓词公式如同命题公式，根据真值可分为永真式、矛盾式 谓词公式如同命题公式，根据真值可分为永真式、矛盾式和可满足式 设A,B为命题公式,A=>A∨B为附加律推理公式,则A(A∨B)公式类型为()。 A: 矛盾式 B: 永真式 C: 可满足式 命题公式(p∧(p→q))→q是 A: 永假式 B: 非永真式的可满足式 C: 永真式 D: 等价式 判断公式 判别下列公式的类型。(1) Q∧¬ (¬P→(¬P∧Q))(2)(P→Q)∧¬P A: (1)(2)均为永真式 B: (1)为永假式,(2)均为永真式 C: (1)为永假式,(2)均为可满足式 D: (1)(2)均为永假式
