|
|
|
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
References
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.