1 (∃X)∼Ix ⊃ (∀X)(Jx $\lor$ Kx)
2 ∼(∀X)Ix • ∼Jb
-Which of the Following Propositions Is

Multiple Choice

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

A) (∃x) ∼Ix
B) ∼(∀x) (Jx $\lor$ Kx) ⊃ ∼(∃x) ∼Ix
C) ∼(∃x) Ix ⊃ (∀x) (Jx $\lor$ Kx)
D) ∼(∃x) ∼Ix • ∼Jb
E) (∃x) ∼Ix ⊃ ∼(∃x) (Jx $\lor$ Kx)