propositional function

Noun

 * 1)  An expression containing algebraic symbols that serve to represent words or other elements of a sentence or proposition