Can you provide an example of solving a proof in Predicate Logic?

Question

1. ∃x(Gx • Px) ∨ ∃x(Sx • Ex).
2. ∼∃x(Ex) ∴∃x(Px)
3. 
   

Answer 1

3.)∀x∼Ex 2, QN

4.)∼ Ei 3, EI

5.)~Ei ∨ ~Si 4, add

6.)~Si ∨ ~Ei 5, comm

7.)~(Si • Ei) 6, DeM

8.)∀x~(Sx • Ex) 7, UG

9.)~∃x(Sx • Ex) 8, QN

10.)∃x(Gx • Px) 1,9 DS

11.)Gj • Pj 10, EI

12.)Pj 11, Simp

13.)∃x(Px) 12, EG