Definition:Symbolic Logic

Definition
Symbolic logic is the study of logic in which the logical form of statements is analyzed by using symbols as tools.

Instead of explicit statements, logical formulas are investigated, which are symbolic representations of statements, and compound statements in particular.

Also known as
Some sources refer to this as mathematical logic, but it is generally preferred to reserve that term for its more specialised branch.

Also see
Branches of symbolic logic include:
 * Definition:Propositional Logic
 * Definition:Predicate Logic
 * Definition:Mathematical Logic