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