2.2.1 Syntax: "a language of propositional expressions (propositions) * constant expressions, true and false * variable expressions, such as X, Y, Z, TheSkyIsBlue, each such expression having an associated variable * operator expressions, such as ¬X, X ∧ Y, and X ∨ Y" --> I think the bullet points should actually be separated out because this was confusing when I first read it. #6