Propositional variable: Difference between revisions

Revision as of 18:29, 7 June 2008

Revision as of 20:12, 11 June 2008

Line 8:

In this way, all of the formulas of propositional logic are built up from propositional variables as a basic unit.

==References==

Smullyan, Raymond M. ''First-Order Logic''. 1968. Dover edition, 1995. Chapter 1.1: Formulas of Propositional Logic.

==See also==

Line 25 ⟶ 21:

{{col-end}}

==References==

Smullyan, Raymond M. ''First-Order Logic''. 1968. Dover edition, 1995. Chapter 1.1: Formulas of Propositional Logic.

[[Category:Sentential logic]]