Definition of propositional function in US English:

propositional function

noun

Logic
  • A statement with one or more terms unspecified which becomes a proposition when the terms are specified (as X is mortal → Socrates is mortal).

Origin

Early 20th century; earliest use found in Bertrand Russell (1872–1970), philosopher, journalist, and political campaigner.