2.2 Formal Systems and Semantics
Syntax, axioms, inference rules, and the semantic interpretation of mathematical languages.
3 notes
Syntax, axioms, inference rules, and the semantic interpretation of mathematical languages.
Distinction between semantic truth and syntactic provability, with examples and limits.
Truth values, valuations, and evaluation of propositional formulas using truth tables.