derive the conclusions of each of the following arguments using the rules of inference for M. Do not use conditional or indirect proof.
-1. (∃x)∼Ix ⊃ (∀x)(Jx $ \lor $ Kx)
2. ∼(∀x)Ix • ∼Jb / Kb

Question

Quizplus · Accepted Answer

The Answer of derive the conclusions of each of the following arguments using the rules of inference for M. Do not use conditional or indirect proof.
-1. (∃x)∼Ix ⊃ (∀x)(Jx $ \lor $ Kx)
2. ∼(∀x)Ix • ∼Jb / Kb

Derive the Conclusions of Each of the Following Arguments Using ∨ \lor ∨

Derive the Conclusions of Each of the Following Arguments Using $\lor$