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: null 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:18 Existential Quantifier 1:52 Universal Quantifier 3:16 Reasoning about mathematics 4:34 Modal logic (overview) 4:42 Modal logic: Alethic (overview) 5:06 Modal logic: Deontic (overview) 5:32 Modal logic: Temporal (overview) 5:58 Modal logic: Doxastic (overview) 6:30 Can we conclude, that…? 8:13 Some conclusions 8:34 Natural language logic