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

Question

Quizplus · Accepted Answer

The Answer of 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

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

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