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

 

1.     (x)(Fx ⊃ x = e) 2.     (∃x)(Fx • x = a) ∴ a = e 3.     Fm • m = a 4.     Fm ⊃ m = e 5.     Fm 6.     m = e 7.     e = m 8.     m = a • Fm 9.     m = a 10. e = a 11. a = e

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