Content deleted Content added
General revision across the page. Improved citations. Phrasing changes for better clarity and flow. Removed duplicate spaces. Broken down long-winded sentences and paragraphs. Wikilinked keywords. Added "predicate variable" to See Also. Added References section. Move non-inline-cited books to Bibliography section. |
m leters->letters - Fix a typo in one click Tags: Mobile edit Mobile web edit Advanced mobile edit |
||
Line 10:
*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_1._Simple_axiom_system|typical axioms of propositional calculus]]; the latter effectively range over well-formed formulae, and are often denoted using lower-case greek
==Predicate logic==
| |||