Lecture 4 (Logic) Terms, Predicates, and Quantifiers