Logic & Foundations with Haskell: Logic 2 :: Naive Propositional Logic
Channel: Marius Furter
Date: 2023-02-26

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: https://www.youtube.com/watch?v=0HImO-me_sg&list=PLd8NbPjkXPliojM8YMN3z3o9--zXwti8Z