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

 

1.     (x)[Ex ⊃ (Hp • x = e)] 2.     (∃x)(Ex • x = p) ∴ He 3.     Em • m = p 4.     Em ⊃ (Hp • m = e) 5.     Em 6.     Hp • m = e 7.     m = e • Hp 8.     m = e 9.     m = p • Em 10. m = p 11. p = m 12. p = e 13. Hp 14. He

2 EI 1 UI 3 Simp 4,5 MP 6 Com 7 Simp 3 Com 9 Simp 10 Id 10,11 Id 6 Simp 12,13 Id