1. (∃x)[Hx • (Ix $ \lor $ Jx)]
2. (∀x)(Kx ⊃ ∼Ix)
3. (∀x)(Hx ⊃ Kx)
-Which of the following propositions is an immediate (one-step) consequence in M of the given premises?
A) Hc • (Ic $ \lor $ Jc)
B) Ks ⊃ ∼Ix
C) Hx ⊃ Kw
D) Hx • (Ix $ \lor $ Jx)
E) Ha • (Ib $ \lor $ Jc)

Question

Quizplus · Accepted Answer

The first premise directly states that there exists an x such that Hx and (Ix or Jx) are true, which is exactly what choice A expresses for a specific instance 'c'.

1 (∃X)[Hx • (Ix ∨ \lor ∨ Jx)] 2 ∨ \lor ∨

1 (∃X)[Hx • (Ix $\lor$ Jx)]
2 $\lor$