Template:Individual-TLP-paragraph-en-3.313

3.313 An expression is thus presented by a variable, whose values are the propositions which contain the expression.

(In the limiting case the variable becomes constant, the expression a proposition.)

I call such a variable a “propositional variable”.