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