Logic 3: Quantifiers (univ. & exist.), Proofs part 1 — Tutorial 3/4

Channel:

Bisqwit

Subscribers:

147,000

Published on March 17, 2022 6:00:30 PM ● Video Link: https://www.youtube.com/watch?v=mnDjmMuIdzQ

Category:

Vlog

Duration: 9:08

7,875 views

266

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