The area of mathematics relating to deductive argument within symbolic abstractions. Its two main branches are propositional logic and predicate logic.
Computer
The treatment of formal logic involving the setting up of a formalized language. The propositional calculus and predicate calculus are two of the more common areas of interest.
Philosophy
General term, not currently much used, for the study of formal logic. Generally, the study of logical form requires using particular schematic letters and variables (‘symbols’) to stand where terms of a particular category might occur in sentences.