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

 

1.     (x)(Lx ⊃ x = e) 2.     (x)(Sx ⊃ x = i) 3.     (∃x)(Lx • Sx) ∴ i = e 4.     Lm • Sm 5.     Lm ⊃ m = e 6.     Sm ⊃ m = i 7.     Lm 8.     m = e 9.     Sm • Lm 10. Sm 11. m = i 12. i = m 13. i = e

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