derive the conclusions of each of the following arguments using the rules of inference for F, including the rules for identity.
-1. (∃x){Ex • Fx • (∀y)[(Ey • y≠x) ⊃ Gxy]}
2. En • ∼Fn / (∃x)(Ex • Gxn)

Question

Quizplus · Accepted Answer

The Answer of derive the conclusions of each of the following arguments using the rules of inference for F, including the rules for identity.
-1. (∃x){Ex • Fx • (∀y)[(Ey • y≠x) ⊃ Gxy]}
2. En • ∼Fn / (∃x)(Ex • Gxn)

Derive the Conclusions of Each of the Following Arguments Using