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

Multiple Choice

1. (∀x) [(Px $\lor$ Qx) ⊃ (Rx • ∼Sx) ]
2. (∀x) [Rx ⊃ (Tx ⊃ ∼Sx) ]
-Which of the following propositions is derivable in M from the given premises?

A) (∀x) [Px ⊃ (Sx ⊃ ∼Tx) ]
B) (∀x) [Px ⊃ (Qx • ∼Tx) ]
C) (∀x) Qx
D) (∀x) [Px ⊃ (Qx • ∼Sx) ]
E) (∀x) [Px ⊃ (Qx ⊃ Tx) ]