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)]

Question

Quizplus · Accepted Answer

From the given premises, we can derive that if Px, then not Sx, and if Rx then not Sx implies not Tx, leading to the conclusion that if Px, then Sx implies not Tx.

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

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