1 P $\lor$ O
2 Q ⊃ ∼O
-Which of the Following Propositions Is

Multiple Choice

1. P $\lor$ O
2. Q ⊃ ∼O
-Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut) ?

A) O
B) P
C) Q
D) O ⊃ P
E) ∼Q $\lor$ P