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)[Fx • (Gx • Hx)]
2. ∼(∃x)(Ix • ∼Fx) / (∀x)[Ix ⊃ (∼Gx $ \lor $ ∼Hx)]

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)[Fx • (Gx • Hx)]
2. ∼(∃x)(Ix • ∼Fx) / (∀x)[Ix ⊃ (∼Gx $ \lor $ ∼Hx)]

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

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