symbolic logic

noun

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

symbolic logic

noun

1. another term for formal logic

Word History and Origins

Origin of symbolic logic¹

First recorded in 1880–85