Dictionary
symbol'ic log'ic
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 Unabridged Dictionary, Copyright © 1997, by Random House, Inc., on Infoplease.