下列判断中违反矛盾律要求的是（ ）。
A: (p∨﹁q)∧(﹁p∧q)
B: (p→﹁q) ∧(﹁p∨q)
C: (p→q) ∧(﹁p∨q)
D: (p∨q) ∧(﹁p∨﹁q)
E: (﹁p∧﹁q)∧(﹁p→q)
A: (p∨﹁q)∧(﹁p∧q)
B: (p→﹁q) ∧(﹁p∨q)
C: (p→q) ∧(﹁p∨q)
D: (p∨q) ∧(﹁p∨﹁q)
E: (﹁p∧﹁q)∧(﹁p→q)
举一反三
- 下列推理中，有效的是 （ ） A: p ← ﹁q ﹁q ________ p B: ﹁p∨﹁q ﹁P _______ q C: ﹁p∨q ﹁q ______ ﹁p D: ﹁p → ﹁q ﹁q __________ ﹁p E: ﹁p ← ﹁q p ______________ ﹁q
- Q∨ù((P®Q)∧P)ÛQ∨ù((ùP∨Q)∧P)Q∨¬((P→Q)∧P)⇔Q∨¬(¬P∨Q)∧P)Q∨((P∨Q)∧P)
- 下列公式是矛盾式的是( )。 A: (P∧(P→Q))∧﹁P B: P∧(P→Q) →P C: (﹁P∧(P∨Q))∨Q) D: (Q∨﹁(P→Q))∧﹁Q
- 下列负判断的等值判断，其有效式是（） A: ∧→p∨q B: p∨q→p∧q C: p∨q→（p∧q）∨（∧） D: p→q→∧q E: p←q→p∧
- 在下列充分条件推理形式中，有效的是 A: (p→﹁q)∧﹁p→q B: (p→﹁q)∧q→﹁p C: (﹁p→q)∧p→﹁q D: (﹁p→﹁q)∧q→ p E: (﹁p→q)∧q→﹁p