Natural Deduction Proof Help | Work Backward!
HTML-код
- Опубликовано: 7 окт 2024
- Need help with your natural deduction proof? Here's a killer strategy: work backward. A step-by step, easy intro to working natural deduction proofs backward. 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.)
World Wildlife Federation, "Orangutan"
www.worldwildl...
#naturaldeductionproofhelp
#logicproof
#naturaldeduction