Foundations of Mathematics

Mathematical and Formal Logic

What is symbolic logic?

Symbolic logic (also called formal logic) is mainly concerned with the structure of reasoning. It determines the meaning and relationship of statements used to represent specific mathematical concepts and provides a means to compose proofs of statements. Symbolic logic draws most notably on set theory. It uses variables combined by operations such as not or and, and assigns symbols to such (“~” and “&”, respectively).


This is a web preview of the "The Handy Math Answer Book" app. Many features only work on your mobile device. If you like what you see, we hope you will consider buying. Get the App