Logic 3: Quantifiers (univ. & exist.), Proofs part 1 — Tutorial 3/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: 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: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
Видео Logic 3: Quantifiers (univ. & exist.), Proofs part 1 — Tutorial 3/4 канала Bisqwit
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: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
Видео Logic 3: Quantifiers (univ. & exist.), Proofs part 1 — Tutorial 3/4 канала Bisqwit
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Are C♯ and D♭ same? Interval & Octave explained: Music & law of frequenciesLet’s try ChatGPT. Is it any good?I Studied a Year at a University and This HappenedLogic 4: Natural Deduction with Logical Axioms — Tutorial 4/4Logic 2: Karnaugh Map, Fallacies, 7400 Series — Tutorial 2/4Logic 1: Binary Propositions, De Morgan’s Law, What is an Implication — Tutorial 1/4How I got Mario in That Editor — And how Norton Got 🐁YouTube deletes your comments #ShortsWhat are EXE files made of?How Bisqwit started — Frequently Asked Questions, Part 4/4Where did Bisqwit learn C++? — Frequently Asked Questions, Part 3/4School & army background — Bisqwit — Frequently Asked Questions, Part 2/4Origin of “Bisqwit”? Married? Font&color theme — Frequently Asked Questions, Part 1/4Illumination Tutorial for Software 3D Rendering (2/2+) [c++20]Illumination Tutorial for Software 3D Rendering (1/2+) [c++20]Why Refactor? Let’s Refactor the 3D Polygon Renderer. [c++20]Texture Mapping & Polygon Rasterizing Tutorial (2/2) [C++20]Texture Mapping & Polygon Rasterizing Tutorial (1/2) [C++20]Dual-Boot Windows-Linux Tutorial (& NVME & LVM & disk migration)Which editor/IDE does Bisqwit use? Answers & some history.