This video covers the following implication rules for propositional logic natural deduction: Simplification (Simp), Conjunction (Conj), Addition (Add), and Constructive Dilemma (CD)
I’m so happy to hear that these logic videos have been helpful to you! Feel free to reach out if you have any questions or if you get stuck on anything!
I suppose that one elegant proof to 01:07:45 might be as follows: - ... 5. !K 4 simp 6. L v !M 3, 5 MP 7. J v !O 2, 6 CD 8. K v !P 1, 7,CD 9. !P 5, 8 DS