1 J ⊃ (K $\lor$ L)
2 J ≡ ∼K
3

Multiple Choice

1. J ⊃ (K $\lor$ L)
2. J ≡ ∼K
3. (∼L $\lor$ M) • (∼L $\lor$ N)
-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 • L
C) ∼L • (M $\lor$ N)
D) All of the above
E) None of the above