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

 Prove the logical truth.

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

/(P v ~ Q) ⊃ [(~ P v R) ⊃ (Q ⊃ R)] ACP ACP ACP 1,3 DS 2,4 DS 3-5 CP 2-6 CP 1-7 CP