Content deleted Content added
→References: CFD 2009 May 25, replaced: Category:Sentential logic → Category:Propositional logic using AWB |
Added comment about propositional variables being the equivalent of nullary predicates in first order logic (and not variable symbols). |
||
Line 8:
In this way, all of the formulas of propositional logic are built up from propositional variables as a basic unit.
Propositional variables are represented as nullary [[predicates]] in [[first order logic]].
==See also==
| |||