- an equation or inequality containing one or more variables in which its truth or falsehood depends upon the values assumed by the variables in a particular instance, as the equation x + 3 = 8.
- a propositional function that contains a free variable, as “x is a man.”
- an expression containing a free variable that can be replaced by a name to yield a sentence, as x is wise