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 traditional logic logic Aristotelian logic Boolean algebra propositional calculus propositional logic classical logic deductive inference first-order logic predicate logic term logic deductive methodology