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

 

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

3 DM 5 DM 6 Simp 4,7 MT 2 Equiv 6 Com 10 Simp 11 Com 12 DM 9 Simp 13,14 MT 10 Com 16 Simp 15,17 Conj 1,18 MT 8,19 Conj