Wiktionary
propositional variable
n. (context logic English) A variable that can either be true or false.
Wikipedia
Propositional variable
In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.