1 (∀X)[(Px $\lor$ Qx) ⊃ (Rx • ∼Sx)]
2 $\lor$

Multiple Choice

1. (∀x) [(Px $\lor$ Qx) ⊃ (Rx • ∼Sx) ]
2. (∀x) [Rx ⊃ (Tx ⊃ ∼Sx) ]
-Consider assuming 'Px' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in M of the given premises with that further assumption for conditional proof?

A) Ra ⊃ (Tb ⊃ ∼Sc)
B) (∀x) Px
C) Px $\lor$ Qx
D) Tx ⊃ ∼Sx
E) Rx • ∼Sx