下列推理形式有效的是（ ）。
A: （(pVqVr) ∧¬ q）→pVr
B: （( ¬pVq) ∧¬p）→q
C: （(p→¬q) ∧q） →¬p
D: （(p→q) ∧¬p）→q
A: （(pVqVr) ∧¬ q）→pVr
B: （( ¬pVq) ∧¬p）→q
C: （(p→¬q) ∧q） →¬p
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）→﹁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