noun
- Mathematics. 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.
- Logic. a propositional function that contains a free variable, as “x is a man.”
noun
- logic an expression containing a free variable that can be replaced by a name to yield a sentence, as x is wiseAlso called: propositional function, sentential function