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

 

1.     F ⊃ (~ G ⊃ ~ F) 2.     ~ (H ⊃ G) 3.     ~ (H • W) 4.     A ⊃ (S • W) ∴ ~ (A v F) 5.     F ⊃ (F ⊃ G) 6.     (F • F) ⊃ G 7.     F ⊃ G 8.     ~ (~ H v G) 9.     H • ~ G 10. ~ G • H 11. ~ G 12. ~ F 13. ~ H v ~ W 14. H 15. ~ W 16. ~ W v ~ S 17. ~ S v ~ W 18. ~ (S • W) 19. ~ A 20. ~ A • ~ F 21. ~ (A v F)

1 Trans 5 Exp 6 Taut 2 Impl 8 DM 9 Com 10 Simp 7,11 MT 3 DM 9 Simp 13,14 DS. 15 Add 16 Com 17 DM 4,18 MT 12,19 Conj 20 DM