A Concise Introduction to Logic, Patrick J. Hurley, Wadsworth, 2006, 9th ed,. 8.7, II, 20, p. 448

 

1.     (x)[Fx ⊃ (Gx • x = n)] 2.     Gn ⊃ (∃x)(Hx • x = e) ∴ Fm ⊃ He 3.     Fm 4.     Fm ⊃ (Gm • m = n) 5.     Gm • m = n 6.     Gm 7.     m = n • Gm 8.     m = n 9.     Gn 10. (∃x)(Hx • x = e) 11. Hr • r = e 12. Hr 13. r = e • Hr 14. r = e 15. He 16. Fm ⊃ He

ACP 1 UI 3,4 MP 5 Simp 5 Com 7 Simp 6,8 Id 2,9 MP 10 EI 11 Simp 11 Com 13 Simp 12,14 Id 3-15 CP