Natural Deduction Proof Help | Build and Break!
HTML-код
- Опубликовано: 7 окт 2024
- Need help with your natural deduction proof? Try "building" and "breaking"! Here's an easy intro to working natural deduction proofs with a build-and-break strategy. Works for any logic proof.
Note: Your textbook may use different symbols or different names for the inference rules. It doesn't matter! A natural deduction proof is a natural deduction proof. 🙂
Subscribe! / @letsgetlogical
Further Reading
Paul Herrick, Introduction to Logic, Chapter 18, “Modern Truth-Functional Natural Deduction” and Chapter 19, "Truth-Functional Natural Deduction, Part 2" (Recommended companion textbook for this channel.)
Mental Floss, "8 Adorable Animals That Ae Surprisingly Violent"
www.mentalflos...