noun Date: 1856 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
Meaning of SYMBOLIC LOGIC in English
Merriam Webster. Explanatory English dictionary Merriam Webster. Толковый словарь английского языка Мерриам-Уэбстер. 2012