Category:Symbolic Logic

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 and mathematical logic.