Propositional calculus

From Conservapedia

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.

Personal tools