Category:Symbolic Logic
From ProofWiki
Definition
The study of logic in which the logical form of statements is analyzed by using symbols as tools.
Branches of symbolic logic include:
Sources
- E.J. Lemmon: Beginning Logic (1965): $\S 1.1$
Subcategories
This category has the following 4 subcategories, out of 4 total.
