What is SYMBOLIC LOGIC

Mathematical disciplines used to reduce rules of formal logic to those of algebra. Called mathematical logic.