Lecture 37: propositional logic

• Set of formulas (syntax)
• Interpretation of a formula
• validity, satisfiability, entailment

This lecture followed chapter 6.1 of Pass and Tseng very closely.