[symbolic logic] n (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 English vocab. Английский словарь Merriam Webster. 2012