Semantics of propositional logic: Mathematical Logic course | Zoonk
8. Semantics of propositional logic
Covers truth assignments, truth tables, satisfiability, validity, logical consequence, and semantic equivalence. Learners classify formulas and build countermodels to invalid arguments.