Propositional calculus

From Conservapedia
This is an old revision of this page, as edited by Ed Poor (Talk | contribs) at 10:33, 10 June 2013. It may differ significantly from current revision.

Jump to: navigation, search
It has been suggested that this article or section be merged with logic. (Discuss)

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. Lewis Carroll wrote a book on it for young students.