formal logic

Pronunciation:			'formal 'lâjik
	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:		mathematical logic, symbolic 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