Symbolic Logic (original) (raw)

TOPICS

Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics Foundations of Mathematics Geometry History and Terminology Number Theory Probability and Statistics Recreational Mathematics Topology

Alphabetical Index New in MathWorld

• Foundations of Mathematics
• Logic
• General 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:

• binarize grey wolf image with threshold x
• det({{9, 3, 5}, {-6, -9, 7}, {-1, -8, 1}})
• minimum calculator

References

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

Referenced on Wolfram|Alpha

Symbolic Logic

Cite this as:

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

Subject classifications

• Foundations of Mathematics
• Logic
• General Logic