以下命题公式中,( )是矛盾式。
A: ~(pÞq)∧q
B: rÞ((pÞq)∨~q)
C: p∧(q∨r)
D: p∧(q Þr)
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)
- 命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)
- 命题公式P®(QÙR)的对偶式为 A: P®(QÚR) B: PÚ (QÚR) C: ØPÚ (QÙR) D: ØPÙ (QÚR)