Logic an expression containing at least one variable, that becomes a proposition when a constant is substituted for the variable (Ex.: x is a man)
See propositional function in American Heritage Dictionary 4
noun Logic
An expression having the form of a proposition but containing undefined symbols for the substantive elements and becoming a proposition when appropriate values are assigned to the symbols.