propositional function

American Heritage® Dictionary of the English Language, Fourth Edition

1. n. Logic An expression having the form of proposition but containing undefined symbols for the substantive elements and becoming a proposition when appropriate values are assigned to the symbols.

Wiktionary

1. n. logic An expression containing algebraic symbols that serve to represent words or other elements of a sentence or proposition