VariousWords beta
Related Terms:
Definitions:
Noun
symbolic logic
mathematical logic
formal logic
Definition: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Definition: A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols.