Also found in: Thesaurus, Encyclopedia, Wikipedia.
(Logic) logic the formal theory the intended interpretation of which concerns the logical relations between sentences treated only as a whole and without regard to their internal structure
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
the branch of symbolic logic that deals with the logical relations between unanalyzed propositions, as conjunction, disjunction, negation, and implication. Compare functional calculus. Also called propositional calculus.
Random House Kernerman Webster's College Dictionary, © 2010 K Dictionaries Ltd. Copyright 2005, 1997, 1991 by Random House, Inc. All rights reserved.