symbolic logic

	Sponsored Links:

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.

	See Also:	logic