formal logic Synonyms

mathematical logic symbolic logic aristotelianism categorical logic logic symbol deductive methods deductive techniques quantified logic connective symbol deductive analysis deductive approaches deductive frameworks deductive logic syllogistic logic deductive approach logic Aristotelian logic Boolean algebra propositional logic classical logic deductive inference first-order logic predicate logic term logic traditional logic deductive methodology