noun
: a science of developing and representing logical principles by means of symbols for the purpose of providing an exact canon of deduction based on primitives, postulates, and formation and transformation rules — called also mathematical logic ; see algebra of classes , algebra of relations , calculus of individuals , combinatory logic , functional calculus , propositional calculus