下面哪个命题公式是矛盾式（ ）。
A: p→q
B: (p∧q)→p
C: ┐(p→q)∧q
D: p∨q
A: p→q
B: (p∧q)→p
C: ┐(p→q)∧q
D: p∨q
举一反三
- 下面哪个命题公式不是重言式 A: Q → (P ∨ Q) B: (P ∧Q)→ P C: ¬(P ∧ ¬Q) ∧ (¬P ∨ Q) D: (P→Q)↔(¬P ∨ Q)
- 下列命题公式为矛盾式的是（ ）。 A: （p→q）∨q B: ¬(p→q)∧q C: ¬p∧(p→q) D: ¬(p→q)
- 下列命题公式为矛盾式的是( ) A: (p®q)Ùp B: (pÚq)®Ør C: Ø(ØpÚq)Ùq D: p«qÙp
- 下面命题公式( )不是重言式。 A: q→(p∨q) B: (p∧q)→p C: ⦢(p∧⦢q)∧(⦢p∨q) D: (p→q)⟷(⦢p∨q)
- 以下命题公式中，( )是矛盾式。 A: ~(pÞq)∧q B: rÞ((pÞq)∨~q) C: p∧(q∨r) D: p∧(q Þr)