VDict - Definition of symbolic logic

Computing (FOLDOC) dictionary (also found in English - English (Wordnet), )

symbolic logic

Jump to user comments

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.

(1995-12-24)

Related search result for "symbolic logic"

Words contain "symbolic logic" in its definition in Computing (FOLDOC) dictionary:
symbolic logic propositional logic logic George Boole Horn clause Constraint Handling In Prolog neutrosophic logic symbolic mathematics modal logic predicate logic more...

Comments and discussion on the word "symbolic logic"