CS195, Class 10: Predicates 

Overview:
* Expanding our worldview: Predicates vs. Propositions
* Evaluating Predicates
* Three-valued Boolean logic.
* Short-circuit (conditional) and and or.
* Quantification: Exists
* Quantification: For all
* Counting: Number of
* Bound and unbound variables
* Substitution

Notes:
* Questions on homework 4?
* Read IEEE reals
* Lots of fancy notation today; fairly straightforward concepts