symbolic logic
n.
A treatment of formal logic in which a system of symbols is used to represent quantities and relationships. Also called mathematical logic.
American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.
symbolic logic
n
(Logic) another term for formal logic
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
symbol′ic log′ic
n.
a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules. Also called mathematical logic.
Random House Kernerman Webster's College Dictionary, © 2010 K Dictionaries Ltd. Copyright 2005, 1997, 1991 by Random House, Inc. All rights reserved.
ThesaurusAntonymsRelated WordsSynonymsLegend:
| Noun | 1. |  symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validityBoolean algebra, Boolean logic - a system of symbolic logic devised by George Boole; used in computers propositional calculus, propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them functional calculus, predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) modal logic - a system of logic whose formal properties resemble certain moral and epistemological concepts fuzzy logic - a form of mathematical logic in which truth can assume a continuum of values between 0 and 1 |
Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.