Propositional Variable
Propositional Variable
a variable whose range of values consists of the two truth values “true” and “false” (but not of true and false propositions, as the term, at first glance, might appear to indicate). Symbols used as propositional variables are required, for example, in describing the propositional calculus and other systems of mathematical logic.