以下命题公式中，( )是矛盾式。（注：选项中的~表示否定）
A: p∧(q∨r)
B: p∧(q ->r)
C: ~(p-> q)∧q
D: -> ((p -> q)∨~q)
A: p∧(q∨r)
B: p∧(q ->r)
C: ~(p-> q)∧q
D: -> ((p -> q)∨~q)
举一反三
- 以下命题公式中，( )是矛盾式。 A: ~(pÞq)∧q B: rÞ((pÞq)∨~q) C: p∧(q∨r) D: p∧(q Þr)
- 1、以下命题公式中，( )是矛盾式 A: rÞ((pÞq)∨~q) B: ~(pÞq)∧q C: p∧(q Þr) D: p∧(q∨r)
- 以下命题公式中,为矛盾式的是( )。 A: (p ˄¬ (q→p)) ˄ (r ˄ q) B: p→( q →p) C: ¬ p→(¬ p→¬ p) D: (p→(q→r)) ↔(q→(p→r))
- 以下命题公式中，( )是重言式 A: rÞ((pÞq)∨~q) B: ~(pÞq)∧q C: p∧(q Þr) D: p∧(q∨r)
- 下列命题公式为矛盾式的是( ) A: (p®q)Ùp B: (pÚq)®Ør C: Ø(ØpÚq)Ùq D: p«qÙp