info prev up next book cdrom email home

Propositional Calculus

The formal basis of Logic dealing with the notion and usage of words such as ``Not,'' ``Or,'' ``And,'' and ``Implies.'' Many systems of propositional calculus have been devised which attempt to achieve consistency, completeness, and independence of Axioms.

See also Logic, P-Symbol


Cundy, H. and Rollett, A. Mathematical Models, 3rd ed. Stradbroke, England: Tarquin Pub., pp. 254-255, 1989.

Nidditch, P. H. Propositional Calculus. New York: Free Press of Glencoe, 1962.

© 1996-9 Eric W. Weisstein