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

 

1.     (x)(Ax ⊃ Bx) 2.     Ac • ~ Bi ∴ c ≠ i 3.     c = i 4.     Ai ⊃ Bi 5.     Ac 6.     Ai 7.     Bi 8.     ~ Bi • Ac 9.     ~ Bi 10. Bi • ~ Bi 11. c ≠ i

AIP 1 UI 2 Simp 3,5 Id 4,6 MP 2 Com 8 Simp 7,9 Conj 3-10 IP