| 释义 |
symbolic logic
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 |