Definition of symbolic logic
: a science of developing and representing logical principles by means of a formalized system consisting of primitive symbols, combinations of these symbols, axioms, and rules of inference
