1. M ⊃ J
2. M ⊃ (J ⊃ K)
3. J ⊃ (K ⊃ L)
-Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
A) J ⊃ M
B) M ⊃ (K ⊃ J)
C) M ⊃ (∼K ⊃ ∼J)
D) (J $ \lor $ K) ⊃ L
E) (J ⊃ K) ⊃ L

Question

Quizplus · Accepted Answer

The proposition M ⊃ (∼K ⊃ ∼J) is an immediate consequence using the contrapositive of the first premise M ⊃ J.

1 M ⊃ J 2 ∨ \lor ∨ K) ⊃ L E) (J ⊃ K) ⊃ L

1 M ⊃ J
2 $\lor$ K) ⊃ L
E) (J ⊃ K) ⊃ L