Revision as of 17:48, 17 February 2010 edit 219.79.27.94 (talk) Added comment about propositional variables being the equivalent of nullary predicates in first order logic (and not variable symbols). ← Previous edit		Revision as of 12:58, 4 May 2010 edit undo Cydebot (talk \| contribs) 6,812,251 edits m Robot - Moving category Propositional logic to Propositional calculus per CFD at Wikipedia:Categories for discussion/Log/2010 April 17. Next edit →
Line 26: *Smullyan, Raymond M. ''First-Order Logic''. 1968. Dover edition, 1995. Chapter 1.1: Formulas of Propositional Logic. [[Category:Propositional ~~logic~~calculus]]

Propositional variable: Difference between revisions