Category:Symbolic Logic

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

Branches of symbolic logic include:
 * Propositional logic
 * Predicate logic
 * Mathematical logic