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

1. (J ≡ K) $\lor$ L
2. K ≡ L
3. ∼L
-Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?

A) ∼K ≡ L
B) ∼L ≡ ∼K
C) ∼L ⊃ (J ≡ K)
D) L ≡ K
E) ∼K