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

 

1.     P v Q 2.     Q ⊃ R 3.     R ⊃ (S ⊃ ~ T) 4.     (~ S ⊃ U) • (U ⊃ V) ∴ (~ P • ~ V) ⊃ ~ T 5.     ~ S ⊃ U 6.     (U ⊃ V) • (~ S ⊃ U) 7.     U ⊃ V 8.     ~ S ⊃ V 9.     ~ R v (S ⊃ ~ T) 10. ~ R v (~ S v ~ T) 11. (~ R v ~ T) v ~ S 12. ~ (R • T) v ~ S 13. (R • T) ⊃ ~ S 14. (R • T) ⊃ V 15. R ⊃ (T ⊃ V) 16. Q ⊃ (T ⊃ V) 17. ~ ~ P v Q 18. ~ P ⊃ Q 19. ~ P ⊃ (T ⊃ V) 20. ~ ~ P v (T ⊃ V) 21. P v (T ⊃ V) 22. P v ~ T v V 23. (P v V) v ~ T 24. ~ ~ (P v V) v ~ T 25. ~ (~ P • ~ V) v ~ T 26. (~ P • ~ V) ⊃ ~ T

4 Simp 4 Com 6 Simp 5,7 HS 3 Impl 9 Impl 10 Com 11 DM 12 Impl 8,13 HS 14 Exp 2,15 HS 1 DN 17 Impl 16,18 HS 19 Impl 20 DN 21 Impl 22 Com 23 DN 24 DM 25 Impl