Content deleted Content added
Cited name per request of voorts |
m Fixing broken anchor: Reminder of an inactive anchor: typical axioms of propositional calculus |
||
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 ==
| |||