Email this page to a friend

Symbolic logic

<logic> 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.

< Previous Terms	Terms Containing symbolic logic	Next Terms >
SYMBOLIC ASSEMBLY Symbolic Automatic INTegrator symbolic inference Symbolic Link symbolic link	George Boole Horn clause logic modal logic propositional logic	Symbolic Mathematical Laboratory symbolic mathematics Symbolic Optimal Assembly Program Symbolics, Inc. Symbol Manipulation Program