symbolic logic


noun

a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules.
Also called mathematical logic.

Origin of symbolic logic

First recorded in 1880–85

British Dictionary definitions for symbolic logic

symbolic logic

noun

another term for formal logic