the branch of logic that examines patterns of reasoning to determine which ones necessarily result in valid, or formally correct, conclusions
See formal logic in American Heritage Dictionary 4
noun
The study of the properties of propositions and deductive reasoning by abstraction and analysis of the form rather than the content of propositions under consideration.