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

 Prove the logical truth.

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

/ (P ⊃ Q) v (Q ⊃ P) ACP 1 Impl 2 DM 3 Simp 4 Add 5 Impl 1-6 CP 7 Impl 8 DN