1 (∀X)(Jx ⊃ Kx)
2 $\lor$ (∀X)Jx
-Which of the Following Propositions Is an Immediate (One-Step)

question 213

Multiple Choice

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

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