PROPOSITIONAL CALCULUS

WordNet Dictionary

	Definition:	[n] a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

	Synonyms:	propositional logic

	See Also:	formal logic, mathematical logic, symbolic logic

Computing Dictionary

	Definition:	propositional logic