Channel: Bisqwit

Category: Education

Tags: antecedentnatural deductionnegationpropositional logicbisqwittruth tableexistential quantifieruniversal quantifierconjunctioninversionimplicationlogic introductiontruth tablesboolean algebradigital electronicsfallacytutorialmodus ponensintroduction logicequivalencede morgan's lawpeirce's arrowdisjunctionjoel yliluomapredicate logicsheffer strokeboolean logiclogic gateskarnaw mapmodus tollensturnstileconsequent7400 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 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