Logic 4: Natural Deduction with Logical Axioms

Thanks! Share it with your friends!

You disliked this video. Thanks for the feedback!

Added 2 years ago by admin

101 Views

In this four-part series we explore propositional logic, Karnaugh maps, implications and fallacies, predicate logic, existential and universal quantifiers and finally natural deduction.

Become a member: https://youtube.com/Bisqwit/join

My links:
Twitter: https://twitter.com/RealBisqwit
Liberapay: https://liberapay.com/Bisqwit
Patreon: https://patreon.com/Bisqwit (Other options at https://bisqwit.iki.fi/donate.html)
Twitch: https://twitch.tv/RealBisqwit
Homepage: https://iki.fi/bisqwit/

0:00 Introduction
1:05 Rules for Conjunction (AND)
1:31 Rules for Disjunction (OR)
1:32 What is the point? Axioms!
3:18 Example 1: Can we swap A and B?
4:50 Example 2: Deconstructing OR
5:38 Rules for Implication (IMP)
6:44 Rules for Equivalence (XNOR)
7:24 Example 3: From equivalence to implication
9:28 Rules for Negation (NOT)
10:49 Temporary Assumptions Workshop
12:06 Example 4: Creating a contradiction
14:12 Rules for Existential Quantifier (∃)
15:00 Rules for Universal Quantifier (∀)
15:28 Bound and Free Variables
17:34 Summary
17:53 Example 5: Is tiger a mammal?
20:03 Conclusion
20:21 Example 6: Every likes kiwis, Milo might like pears
24:38 Example 7: For all, A is true ⇒ For nobody, A is false
31:10 Example 8: White cars and engines
35:53 Example 9: Proving a negative?
38:51 Links