derive the conclusions of each of the following arguments using the rules of inference for F, including the rules for identity.
-1. (∀x)(Ecx ⊃ x=d)
2. (∀x){(Fx • Gx) ⊃ (∀y)[(Fy • Gy) ⊃ y=x]}
3. (∃x)(Fx • Gx • Ecx)
4. Fa • Ga / a=d

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)(Ecx ⊃ x=d)
2. (∀x){(Fx • Gx) ⊃ (∀y)[(Fy • Gy) ⊃ y=x]}
3. (∃x)(Fx • Gx • Ecx)
4. Fa • Ga / a=d

Derive the Conclusions of Each of the Following Arguments Using