Channel: Bisqwit

Category: Education

Tags: antecedentnatural deductionnegationpropositional logicbisqwitexistential quantifierkarnaugh mapsuniversal quantifierconjunctioninversionimplicationlogic introductionboolean algebradigital electronicsfallacytutorialmodus ponensintroduction logicequivalencede morgan's lawpeirce's arrowdisjunctionjoel yliluomapredicate logicsheffer strokeboolean logiclogic gateskarnaw mapmodus tollensturnstilekarnaugh mapconsequent7400 series

Description: 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: youtube.com/Bisqwit/join My links: Twitter: twitter.com/RealBisqwit Liberapay: liberapay.com/Bisqwit Patreon: patreon.com/Bisqwit (Other options at bisqwit.iki.fi/donate.html) Twitch: twitch.tv/RealBisqwit Homepage: iki.fi/bisqwit 0:00 Introduction 0:43 Choices 1:13 Conjunction (AND, ∧) 3:16 Disjunction (OR, ∨) 4:17 Negation (NOT, ¬) 4:58 Sheffer Stroke (NAND, ↑) 5:16 Peirce’s Arrow (NOR, ↓) 5:29 De Morgan’s Laws 7:11 Universal logic gates 7:51 Equivalence (XNOR, ↔) 8:44 Exclusive disjunction (XOR, ⊻) 10:17 Implication (IMP, →) 13:20 Truth table summary 14:35 Notation summary