Lecture 03 - More Logic: Quantifiers and Predicates