1 N $\lor$ (P • ∼R)
2

1. N $\lor$ (P • ∼R)
2. (P • ∼R) ⊃ Q
3. N ⊃ O
4. ∼O
-Which of the following propositions is derivable from the given premises using the rules of section 3.1 (MP, MT, DS, HS) ?

A) N
B) ∼(P • ∼R)
C) Q
D) ∼P • ∼∼R
E) O