I cover propositional logic in a naive manner. I explain how to build well formed formulas and assign them truth values using truth tables. I then define logical validity and equivalence, present a list of useful logical equivalences, and show how they can be used to derive new ones.
00:00 Intro
00:23 Idea behind propositional logic
07:08 Syntax for propositional logic
14:22 Semantics for propositional logic
16:49 Truth tables for logical connectives
28:01 Example of using truth tables
33:50 Definition: Logical validity / tautology
34:58 Examples of tautologies
41:20 Definition: Logical equivalence
42:11 Example of logical equivalences
46:47 Lemma: Equivalence and validity
48:12 List of useful logical equivalences
56:20 Deriving new equivalences from old
The playlist for the course can be found here: • Logic & Foundations wi...