(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); a propositional function.