Meaning of SYMBOLIC LOGIC
|
|
| |
 WordNet Dictionary |
| |
| | Definition: | |
[n] any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity |
| |
| | Synonyms: | | formal logic, mathematical logic |
| |
| | See Also: | | Boolean algebra, Boolean logic, functional calculus, fuzzy logic, logic, logical system, modal logic, predicate calculus, propositional calculus, propositional logic, system of logic | |
| Computing Dictionary |
| |
| | Definition: | | 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. |
| |
|
|