Logic 1: Binary Propositions, De Morgan’s Law, What is an Implication — Tutorial 1/4

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: My links: Twitter: Liberapay: Patreon: (Other options at ) Twitch: Homepage: 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