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

Prove the logical truth.

1.     P ⊃ (Q ⊃ R) 2.     Q 3.     P 4.     Q ⊃ R 5.     R 6.     P ⊃ R 7.     Q ⊃ (P ⊃ R) 8.     [P ⊃ (Q ⊃ R)] ⊃ [Q ⊃ (P ⊃ R)] 9.     Q ⊃ (P ⊃ R) 10.  P 11.  Q 12.  P ⊃ R 13.  R 14.  Q ⊃ R 15.  P ⊃ (Q ⊃ R) 16.  [Q ⊃ (P ⊃ R)] ⊃ [P ⊃ (Q ⊃ R)] 17.  {[P ⊃ (Q ⊃ R)] ⊃ [Q ⊃ (P ⊃ R)]} • {[Q ⊃ (P ⊃ R)] ⊃ [P ⊃ (Q ⊃ R)]} 18.  [P ⊃ (Q ⊃ R)] ≡ [Q ⊃ (P ⊃ R)]

/ [P ⊃ (Q ⊃ R)] ≡ [Q ⊃ (P ⊃ R)] ACP ACP ACP 1,2 MP 2,4 MP 3-5 CP 2-6 CP 1-7 CP CP CP CP 9,11 MP 10,12 MP 11-13 CP 10-14 CP   9-15 CP 8-16 Conj 17 Equiv