● Fonction propositionnelle expression contenant une ou plusieurs variables libres et qui est susceptible de devenir une proposition vraie ou fausse si l'on attribue à ces variables certaines valeurs particulières ou si on lie ces variables par des quantificateurs.
Encyclopédie Universelle. 2012.