Propositional calculus

(Difference between revisions)'''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.'''Propositional calculus''' is the study of [[logic]]al 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.  [[Lewis Carroll]] wrote a book on it for young students.  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.

View the original article here