A Concise Introduction to Logic, Patrick J. Hurley, Wadsworth, 2006, 9th ed., 8.6, III, 6, p.436

Translate and then derive the conclusion.

Dr Rogers can cure any person who cannot cure himself. Dr Rogers is a person. Therefore, Dr Rogers can cure himself. (Px: x is a person; Cxy: x can cure y)

 

1.     (x)[(Px • ~ Cxx) ⊃ Crx] 2.     Pr ∴ Crr 3.     ~ Crr 4.     (Pr • ~ Crr) ⊃ Crr 5.     ~ (Pr • ~ Crr) 6.     ~ Pr v Crr 7.     Crr 8.     Crr • ~ Crr 9.     ~ ~ Crr 10. Crr

AIP 1 UI 3,4 MT 5 DM 2,6 DS 3 Conj 3-8 IP 9 DN