Symbolic logic

[математика] символическая логика

Большой англо-русский словарь

Symbolic logic

математическая (формальная) логика, символическая логика смотри Boolean algebra

Англо-русский словарь компьютерных терминов

Symbolic logic

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

Энциклопедический словарь Мерриама-Вебстера

Symbolic logic

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.

Онлайн словарь компьютерных терминов