Propositional variable: Difference between revisions

Revision as of 11:57, 10 August 2019

Revision as of 14:36, 27 August 2019

Line 12:

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 [[metavariable]]s which appear in the [[Propositional_logic#Example_1._Simple_axiom_system|typical axioms of propositional calculus]]; the latter effectively range over well-formed formulae.

==In first orderPredicate logic==

Propositional variables are represented as nullary [[Predicate (mathematical logic)|predicates]] in [[first order logic]].