Noun
propositional function (plural propositional functions) (logic) An expression containing algebraic symbols that serve to represent words or other elements of a sentence or proposition