Logic 7: Semantics for Propositional Logic

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