Need help with your natural deduction proof? Here's a killer strategy: go hunting! An easy intro to working natural deduction proofs through the "hunting" method. 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.)
Wikipedia, "Wolf"
en.wikipedia.org/wiki/Wolf
24 июл 2024