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

**References**

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

© 1996-9

1999-05-26