[математика] символическая логика
математическая (формальная) логика, символическая логика смотри Boolean algebra
noun a science of developing and representing logical principles by means of a formalized system consisting of primitive symbols, combinations of these symbols, axioms, and rules of inference
The discipline that treats formal logic by means of a formalised artificial language or symbolic calculus, whose purpose is to avoid the ambiguities and logical inadequacies of natural language.