以下命题公式中，为永真式的是( )
A: (Q∨┐P)→(P∧┐P)
B: (P→┐P)→┐P
C: P∧(P∨Q∨R)
D: ┐(Q→Q∧P)
A: (Q∨┐P)→(P∧┐P)
B: (P→┐P)→┐P
C: P∧(P∨Q∨R)
D: ┐(Q→Q∧P)
举一反三
- 下列命题公式中,为永真式的是( )。 A: (p→q) ↔ (¬p∨q) B: (p→q)↔( q→p) C: ¬p∨¬(p∨q) D: (¬q∧¬p)∨(q∧p)
- 下列命题公式中为永真式的有( ) A: (P→Q)↔(¬Q→¬P) B: (P→Q)→(¬Q→¬P) C: (P→Q)→(¬P→¬Q) D: (P→Q)↔(¬P→¬Q)
- 下列命题公式是永真式的是（） A: ．(P∧﹁P)«Q B: ．﹁(P®Q)∧Q C: ．(P®Q)∨﹁Q D: ．(P∨P)∧(P®﹁P)
- 下列命题公式中,不是永真式的有()。 A: p(pq)q B: p(pq) C: p (p q) D: p(pq)q
- 以下命题公式中,为矛盾式的是( )。 A: (p ˄¬ (q→p)) ˄ (r ˄ q) B: p→( q →p) C: ¬ p→(¬ p→¬ p) D: (p→(q→r)) ↔(q→(p→r))