info prev up next book cdrom email home

Symbolic Logic

The study of the meaning and relationships of statements used to represent precise mathematical ideas. Symbolic logic is also called Formal Logic.

See also Formal Logic, Logic, Metamathematics


Carnap, R. Introduction to Symbolic Logic and Its Applications. New York: Dover, 1958.

© 1996-9 Eric W. Weisstein