1. Math. 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.
2. Logic. a propositional function that contains a free variable, as " x is a man."
[ 1935-40 ]