1 J ⊃ K
2 $\lor$ L
3 (K • L) ≡ M
-Consider Assuming 'J' for

Multiple Choice

1. J ⊃ K
2. ∼J $\lor$ L
3. (K • L) ≡ M
-Consider assuming 'J' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?

A) K
B) ∼K
C) ∼L
D) L ⊃ J
E) None of the above