What is logic and what is mathematics? The Merriam-Webster Dictionary defines logic as follows: a science that deals with the principles and criteria of inference and demonstration: the science of the formal principles of reasoning mathematics is the science of abstract structures and patterns, constructed out of different statements, which need to be proven true