Propositional and predicate logic
Mathematical logic & set theory · Theoretical / proof-based
Syntax and semantics of propositional logic
Objectives
- Syntax and semantics of propositional logic
- Truth tables, tautologies, and logical equivalence
- Normal forms: CNF and DNF
- Predicate logic: quantifiers, scope, and interpretation
- Validity, satisfiability, and logical consequence
Study materials
- Practice testComing soon