Logic & Foundations with Haskell: Logic 7 :: Semantics for Propositional Logic
Channel: Marius Furter
Date: 18/04/2023

We cover the semantic definitions for propositional logic which assign formulas truth values in a sigma-structure.

00:00 Introduction
00:23 Definition: sigma-structure
01:35 Definition: Truth values for LP formulas
08:47 Definition: Models, tautologies, consistency and contradictions
14:32 Definition: Logical equivalence

The playlist for the course can be found here: https://www.youtube.com/watch?v=0HImO-me_sg&list=PLd8NbPjkXPliojM8YMN3z3o9--zXwti8Z