Noun
propositional variable (plural propositional variables)
(logic) A variable that can either be true or false.
A propositional variable is typically a letter (possibly with a subscripted number) whose truth value is contingent upon some interpretation or valuation.