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