## 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).