the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions.
Origin of formal logic
First recorded in 1855–60
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2019
British Dictionary definitions for formal logic
Also called: symbolic logic the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressionsCompare philosophical logic
a specific formal system that can be interpreted as representing a fragment of natural argument
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012