A syntactic symbol in propositional logic that denotes an atomic proposition and can be assigned a truth value (true or false) in a given valuation.

Principle

Serves as an indivisible name for a proposition: it carries no internal logical structure and is manipulated only according to the rules for replacing, naming, and assigning truth values in propositional syntax and semantics.

Demonstration

Examples: p, q, r are propositional variables. In the valuation v with v(p)=true, v(q)=false, the variable p denotes a true atomic proposition while q denotes a false one.

Misapplication

Treating a propositional variable as if it were a predicate or a function symbol (i.e., assuming internal structure or arguments), or treating it as a fixed proposition with a single, context-independent referent when the formal system treats it as a place-holder for truth assignments.

Consequence

Allows construction of complex formulas by substitution and connective application; truth assignments to propositional variables determine the truth value of any compound formula built from them via truth-functional connectives.

Reversal

If inverted into a propositional constant, the symbol is taken to denote a fixed truth value rather than a variable placeholder; conversely, treating a constant as a variable reintroduces variability and dependence on valuation.

Boundary

Applies only within propositional (sentential) logic as atomic symbols; it excludes predicate-logic variables that range over objects, meta-variables ranging over formulas, and natural-language noun phrases with semantic content.

Semantic Tension

Tension exists between treating the token as a purely syntactic placeholder (a name in the formal language) versus treating it as a semantic object (the proposition itself) or as a context-laden statement about the world.

Synthesis

A propositional variable is the atomic, structureless symbol of propositional logic that functions as a placeholder for truth values under valuations, enabling the composition of complex, truth-evaluable formulas.