Understanding Symbolic Logic, Virginia Klenk, Pearson Prentice Hall, 5th ed., 2008, Unit 8: 7(b), p.173

 

1.     ~ [A v (B ⊃ T)] 2.     (A • C) v (W ⊃ ~D) 3.     ~ (P v T) ⊃ D 4.     ~ P ≡ ~ (T • S) ∴ ~ W 5.     (T • S) ≡ P 6.     [(T • S) ⊃ P] • [P ⊃ (T • S)] 7.     ~ A • ~ (B ⊃ T) 8.     ~ A • ~ (~ B v T) 9.     ~ A • B • ~ T 10. ~ A 11. ~ A v ~ C 12. ~ (A • C) 13. W ⊃ ~D 14. ~ T 15. ~ T v ~ S 16. ~ (T • S) 17. P ⊃ (T • S) 18. ~ P 19. ~ ~ (P v T) v D 20. (P v T) v D 21. P v (T v D) 22. T v D 23. D 24. ~ W

4 Trans 5 Equiv 1 DM 7 Impl 8 DM 9 Simp 10 Add 11 DM 2,12 DS 9 Simp 14 Add 15 DM 6 Simp 16,17 MT 3 Impl 19 DN 20 Assoc 18,21 DS. 14,22 DS. 13,23 MT