Revision as of 20:13, 11 June 2008 edit Giftlite (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 39,854 edits m →References: +* ← Previous edit		Revision as of 19:27, 27 August 2008 edit undo Aisaac (talk \| contribs) 68 edits mNo edit summary Next edit →
Line 4: Every propositional variable is a formula. Given a formula ''X'' the [[negation]] ¬''¬X'' is a formula. *Given two formulas ''X'' and ''Y'', and a [[binary connective]] ''b'' (such as the [[logical conjunction]] ∧), then ''(X b Y)'' is a formula. (Note the parentheses.) In this way, all of the formulas of propositional logic are built up from propositional variables as a basic unit.

Propositional variable: Difference between revisions