A symbol which represents a property or relation. Often, the statement or relation itself is called ______
predicate
specifies what are the possible values for the variable
domain
A function formed by a predicate and one or more variables.
Propositional Function
a variable that is not bound
free variable
it is used as modifiers to variables
Quantifiers