We discuss first order logic in an informal manner focusing on examples.
00:00 Motivating first order logic
09:52 Parsing first order logic formulas
19:01 Restricted quantification
30:13 Example: Solutions to equation
36:19 Interpreting first order formulas in a structure
40:26 Logical validity for first order formulas
42:19 Logical equivalence for first order formulas
46:50 Example: The infinitude of primes
52:29 Example: Expressing uniqueness
The playlist for the course can be found here: • Logic & Foundations wi...