derive the conclusions of each of the following arguments using the rules of inference for M, including conditional or indirect proof.
-1. (∀x)[(Px $ \lor $ Qx) ⊃ (Rx • ∼Sx)]
2. (∀x)[Rx ⊃ (Tx ⊃ ∼Sx)] / (∀x)[Px ⊃ (Sx ⊃ ∼Tx)]

Question

Quizplus · Accepted Answer

The Answer of derive the conclusions of each of the following arguments using the rules of inference for M, including conditional or indirect proof.
-1. (∀x)[(Px $ \lor $ Qx) ⊃ (Rx • ∼Sx)]
2. (∀x)[Rx ⊃ (Tx ⊃ ∼Sx)] / (∀x)[Px ⊃ (Sx ⊃ ∼Tx)]

Derive the Conclusions of Each of the Following Arguments Using ∨ \lor ∨

Derive the Conclusions of Each of the Following Arguments Using $\lor$