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