Category:Definitions/Symbolic Logic

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Symbolic Logic.
Related results can be found in Category:Symbolic Logic.


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.


In symbolic logic, the rules of reasoning and logic are investigated by means of formal systems, which form a good foundation for the symbolic manipulations performed in this field.

Subcategories

This category has the following 16 subcategories, out of 16 total.

B

C

D

F

I

M

O

T

Pages in category "Definitions/Symbolic Logic"

The following 55 pages are in this category, out of 55 total.