Propositional variable: Difference between revisions

Revision as of 10:52, 4 March 2012

Revision as of 13:50, 27 November 2012

Line 9:

In this way, all of the formulas of propositional logic are built up from propositional variables as a basic unit.

Propositional variables are represented as nullary [[Predicate (mathematical logic)|predicates]] in [[first order logic]]. Propositional variables should not be confused with the [[metavariable]]s which appear in the typical axioms of propositional calculus; the latter effectively range over propositional variables.

==See also==