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.

[TahlilGaran] American Dictionary ▲