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