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

 Derive the conclusion.

1.     Ke 2.     ~ Kn ∴ e ≠ n 3.     ~ (e ≠ n) 4.     e = n 5.     Kn 6.     Kn • ~ Kn 7.     ~ ~ (e ≠ n) 8.     e ≠ n

AIP 3 DN 1,4 Id 2,5 Conj 3-4 Id