## formal logic

the branch of logic that examines patterns of reasoning to determine which ones necessarily result in valid, or formally correct, conclusions

## formal logic

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.