Propositional calculus
From Conservapedia
This is an old revision of this page, as edited by Ed Poor (Talk | contribs) at 02:15, June 2, 2013. It may differ significantly from current revision.
This Article has Multiple Issues: | |
---|---|
|
|
You are encouraged to solve these issues, but please remember to abide by The Conservapedia Commandments & Style Guide. |
Propositional calculus is the study of logical propositions, that is, logical statements that might or might not be true under various interpretations. A good deal of the study concerns how to prove theorems in symbolic logic.