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

Logic, Metamathematics

Explore with Wolfram|Alpha

More things to try:

References

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

Referenced on Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Symbolic Logic." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/SymbolicLogic.html

Subject classifications