derive the conclusions of each of the following arguments using the rules of inference for M, including conditional or indirect proof.
-1. (∀x)Ix $ \lor $ ∼(∃x)Hx
2. (∃x)Jx ⊃ ∼(∀x)Ix
3. Hc / (∀x)∼Jx

Question

Quizplus · Accepted Answer

The Answer of derive the conclusions of each of the following arguments using the rules of inference for M, including conditional or indirect proof.
-1. (∀x)Ix $ \lor $ ∼(∃x)Hx
2. (∃x)Jx ⊃ ∼(∀x)Ix
3. Hc / (∀x)∼Jx

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

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