A Concise Introduction to Logic, Patrick J. Hurley, Wadsworth, 2006, 9th ed,. 7.7, 17, p. 390

 Prove the logical truth.

1.     P 2.     Q • ~ Q 3.     Q 4.     Q v R 5.     ~ Q • Q 6.     ~ Q 7.     R 8.     (Q • ~ Q) ⊃ R 9.     P ⊃ [(Q • ~ Q) ⊃ R]

/ P ⊃ [(Q • ~ Q) ⊃ R] ACP ACP 2 Simp 3 Add 2 Com 5 Simp 4,6 DS 2-7 CP 1-8 CP