In this program
- Syntax and semantics of propositional logic
- Truth tables and tautologies
- Logical equivalence
- Normal forms: CNF and DNF
- Predicate logic
- Interpretation
- Validity and satisfiability
- Logical consequence
Propositional and predicate logic
Syntax and semantics of propositional logic
Mathematical logic & set theory · Theoretical / proof-based
Topic
Syntax and semantics of propositional logic
Undergraduate Mathematical Logic & Set Theory — scope drawn from open logic/set theory notes and typical US intro logic syllabi.