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

 Prove the logical truth.

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

/ P  ≡ [P v (Q • P)] ACP 1 Add 1 Add 2,3 Conj 4 Dist 5 Taut 6 Dist 7 Taut 1-8 CP ACP 10 Dist 11 Com 12 Simp 13 Taut 10-14 CP 9,15 Conj 16 Equiv