The term "propositional function" is commonly used in mathematical logic to refer to an expression that represents a proposition. It is a type of function whose inputs are values that can be substituted in place of variables within a given formula. Some synonyms for "propositional function" include "predicate," "function of propositions," "propositional formula," and "statement form." These terms all refer to the same concept of representing statements or propositions using a mathematical formula. Having a variety of synonyms for "propositional function" can be useful when communicating complex ideas in mathematical logic to others, particularly those who may not be familiar with the specific terminology used in the field.