Logic & Foundations with Haskell: Logic 7 :: Semantics for Propositional Logic

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