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