CS156
Chris Pollett
April 2, 2012
Which of the following is true?
Variables: x, y, z, ... -> range over sets. Example: x might be an element in a set of colors. Constants: a, b, c, ... Example: Fixed values from a set, 0, "Bob" Functions: f, g, h, ... Example: x + y is a function Predicates: `P`, `Q`, `R` ... These take inputs and output true/false. Example, x=7 is a predicate.