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

 

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

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