1 Q ⊃ ∼(R $\lor$ S)
2 ∼R ⊃ T
3

Multiple Choice

1. Q ⊃ ∼(R $\lor$ S)
2. ∼R ⊃ T
3. U ⊃ S
-Consider assuming 'Q' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?

A) U $\lor$ S
B) T ⊃ ∼R
C) ∼(R $\lor$ S)
D) ∼R • ∼S
E) T