Propositional variable: Difference between revisions

Revision as of 06:39, 2 July 2024

Revision as of 05:53, 4 July 2024

Line 12:

* Given two formulas ''X'' and ''Y'', and a [[binary connective]] ''b'' (such as the [[logical conjunction]] ∧), the expression ''(X b Y)'' is a formula. (Note the parentheses.)

Through this construction, all of the formulas of propositional logic can be 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|typical axioms of [[propositional calculus]]{{Broken anchor|date=2024-07-02|bot=User:Cewbot/log/20201008/configuration|target_link=Propositional logic#Example|reason= The anchor (Example) [[Special:Diff/1232125665|has been deleted]].}}; the latter effectively range over well-formed formulae, and are often denoted using lower-case greek letters such as <math>\alpha</math>, <math>\beta</math> and <math>\gamma</math>.

== Predicate logic ==