下列推理中，有效的是 （ ）
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
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
举一反三
- 在下列充分条件推理形式中，有效的是 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
- 下列推理形式中有效的是( ) A: ((¬p→q)∧¬q)→p B: ((p→¬q)∧q)→¬p C: ((p∨¬q)∧p)→q D: ((¬p∨q)∧p)→q
- 下列推理形式中有效的是( ) A: ((¬p→q)∧¬q)→p B: ((p→¬q)∧q)→¬p C: ((p∨¬q)∧p)→q D: ((¬p∨q)∧p)→q
- 下列假言推理为有效式的有（）。 A: （﹁p→q）∧p├﹁q B: （p→﹁q）∧q├﹁p C: （﹁p←﹁q）∧﹁p├q D: （p←﹁q）∧﹁q├p E: （p→﹁q）∧p├﹁q
- 下列假言推理为有效式的有（ ） A: ((﹁p→q)∧p)→﹁q B: （(p→﹁q) ∧q）→﹁p C: （(﹁q→﹁p)∧﹁）p→q D: （(﹁q→p)∧﹁q）→p E: （(p→﹁q)∧p）→﹁q