Maths›03. Logic and Foundations1.2 Semantics: Truth TablesTruth values, valuations, and evaluation of propositional formulas using truth tables.