A propositional variable is typically a letter (possibly with a subscripted number) whose truth value is contingent upon some interpretation or valuation.
literal propositional function boolean propositional calculus boolean variable propositional constant propositional logic valuation sentential logic proposition
Save “propositional variable” to learn later