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

Question

Quizplus · Accepted Answer

From premise 1, we know that if ~J is true, then K must be true. From premise 2, if K is true, then L ⊃ M must be true. From premise 3, if J is true, then M must be true. However, from premise 4, we know that M is false. So, we can conclude that ~J must be true, as it is the only remaining option. None of the other answer choices can be immediately inferred from the given premises.