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

 

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

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