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