The following completed proof is correct. (∃x)(Fx · Gx) (x)…
The following completed proof is correct. (∃x)(Fx · Gx) (x)(Gx ⊃ Hx) / (∃x)(Fx · Hx) Fa · Ga 1, EI Ga 3, Simp Ga ⊃ Ha 2, UI Ha 4, 5, MP Fa 3, Simp Fa · Ha 7, 6, Conj (∃x)(Fx · Hx) 8, EG
Read Details