What do a.m. and p.m. stand for?

symbolic logic

a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules.
Also called mathematical logic.
Origin of symbolic logic
1880-85 Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2015.
Cite This Source
Examples from the web for symbolic logic
  • Expert systems would embody and manipulate knowledge in the form of symbolic logic.
  • Here too, reason is seen as the manipulation of meaningless symbols, as in symbolic logic.
  • Seventh-graders plunge into a math program that combines straight computation with sophisticated problems in symbolic logic.
  • Something that isn't used so much for symbolic logic.
British Dictionary definitions for symbolic logic

symbolic logic

another term for formal logic
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
Cite This Source
symbolic logic in Technology

The discipline that treats formal logic by means of a formalised artificial language or symbolic calculus, whose purpose is to avoid the ambiguities and logical inadequacies of natural language.

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source

Word of the Day

Difficulty index for symbolic logic

Few English speakers likely know this word

Word Value for symbolic

Scrabble Words With Friends