Definition:Symbolic Logic

Symbolic logic is the study of logic by means of symbols representing the logical forms of statements.

Branches of symbolic logic include propositional logic, predicate logic and mathematical logic.