- a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules.
Origin of symbolic logic
First recorded in 1880–85
Also called mathematical logic.
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2018
- 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