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

 

1.     (A ⊃ B) ⊃ ~ (C ⊃ D) 2.     ~ (A v F) ∴ ~ (D v F) 3.     ~ A • ~ F 4.     ~ A 5.     ~ A v B 6.     A ⊃ B 7.     ~ (C ⊃ D) 8.     ~ (~ C v D) 9.     C • ~ D 10. ~ D • C 11. ~ D 12. ~ F • ~ A 13. ~ F 14. ~ D • ~ F 15. ~ (D v F)

2 DM 3 Simp 4 Add 5 Impl 1,6 MP 7 Impl 8 DM 9 Com 10 Simp 3 Com 12 Simp 11,13 Conj 14 DM