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

 

1.     (x)(Gx ⊃ x = a) 2.     (∃x)(Gx • Hx) ∴ Ha 3.     Gm • Hm 4.     Gm ⊃ m = a 5.     Gm 6.     m = a 7.     Hm • Gm 8.     Hm 9.     Ha

2 EI 1 UI 3 Simp 4,5 MP 3 Com 7 Simp 6,8 Id