3.313 L'expression sera donc figurée au moyen d'une variable, dont les valeurs sont les propositions qui contiennent cette expression.

(À la limite, la variable devient une constante, l'expression une proposition.)

J'appelle une telle variable « variable propositionnelle ».