下列推理形式中有效的是( )
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）→﹁q B: （(p∨q)∧﹁p）→q 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)∧¬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)∧¬p）→¬q C: （(p→q)∧¬q）→¬p 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)∧q→﹁p