formal logic definition by Webster's New World
Webster's New World College Dictionary Copyright © 2010 by Wiley Publishing, Inc., Cleveland, Ohio. Used by arrangement with John Wiley & Sons, Inc.
the branch of logic that examines patterns of reasoning to determine which ones necessarily result in valid, or formally correct, conclusions
formal logic definition by American Heritage Dictionary
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.