symboliclogic

symbolic logic n.

A treatment of formal logic in which a system of symbols is used to represent quantities and relationships. Also called mathematical logic.

* * *