propositional function
Logic
noun
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.