下列复合命题推理式中，有效的有（）。
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: （（p∨q）∧p）→¬q
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）∧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: （q→q）∧q→p C: （p→q）∧q→q D: （q→q）∧q→p 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 E: (﹁p→q)∧q→﹁p