| an expression that contains one or more variables and becomes meaningful when suitable constant terms are substituted for them. |
| propositional function n. 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. |