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.”
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.”