the branch of logic that examines patterns of reasoning to determine which ones necessarily result in valid, or formally correct, conclusions
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.
(plural formal logics)
- (logic) Mathematical logic.
- (logic) A particular logical calculus.