Propositional variable


In mathematical logic, a propositional variable 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.

Uses

Formulas in logic are typically built up recursively from some propositional variables, some number of logical connectives, and some logical quantifiers. Propositional variables are the atomic formulas of propositional logic.
;Example
In a given propositional logic, a formula can be defined as follows:
In this way, all of the formulas of propositional logic are built up from propositional variables as a basic unit. Propositional variables should not be confused with the metavariables which appear in the typical axioms of propositional calculus; the latter effectively range over well-formed formulae.

Predicate logic

Propositional variables can be considered nullary predicates in first order logic, because there are no object variables x, y.., attached to predicate letters Px, xRy,... The internal structure of propositional variables contains predicate letters P, Q,.. in association with individual constants a, b,.. having the form Pa, aRb.