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.”