1 P ⊃ ∼Q
2 $\lor$ ∼∼Q
3 R ⊃ S
4

Multiple Choice

1. P ⊃ ∼Q
2. R $\lor$ ∼∼Q
3. R ⊃ S
4. ∼S
-Which of the following propositions is derivable from the given premises using the rules available through section 3.2 (MP, MT, DS, HS, Add, Conj, Simp, CD) ?

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