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

 

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

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