1 (∀X)Ix ⊃ (∀X)Kx
2 $\lor$ Lx)]
3 $\lor$

1. (∀x) Ix ⊃ (∀x) Kx
2. (∀x) [Jx • (Ix $\lor$ Lx) ]
3. (∀x) (Jx ⊃ ∼Lx)
-Which of the following propositions is an immediate (one-step) consequence in M of the given premises?

A) Jx • (Iv $\lor$ Lv)
B) Ix
C) Jx • (Ix $\lor$ Lx) ]
D) Ix ⊃ Kx
E) Jx ⊃ ∼Lp