【多选题】下列哪些公式为永真蕴含式?()(“ =>”为蕴含符号)
A. ¬Q => Q→P B. ¬Q => P→Q C. P => P→Q D. ¬P∧ (P∨Q) => ¬P
A. ¬Q => Q→P B. ¬Q => P→Q C. P => P→Q D. ¬P∧ (P∨Q) => ¬P
举一反三
- 下列命题公式为永真蕴含式的是（ ）。 A: （P∧Q）→P B: P→（P∧Q） C: Q→（P∧Q） D: （P∨Q）→Q
- 下列命题公式是永真式的是（ ） A: A．(P∧﹁P ) « Q B: B．﹁(P®Q )∧Q C: C．(P®Q )∨﹁Q D: D．(P∨P )∧(P ®﹁P )
- 下列命题公式中为永真式的有( ) A: (P→Q)↔(¬Q→¬P) B: (P→Q)→(¬Q→¬P) C: (P→Q)→(¬P→¬Q) D: (P→Q)↔(¬P→¬Q)
- 下列命题公式中,为永真式的是( )。 A: (p→q) ↔ (¬p∨q) B: (p→q)↔( q→p) C: ¬p∨¬(p∨q) D: (¬q∧¬p)∨(q∧p)
- 以下蕴含公式哪个公式是错误的() A: P∧Q⇒P B: P∧Q⇒Q C: P⇒Q→P D: Q⇒Q→P