Description
Symbolic Logic, also known as formal logic, is a branch of mathematics that uses symbolic representations for logical expressions and relationships. It provides a systematic method for examining the structure of arguments and reasoning, focusing on the relationships between propositions rather than the content of those propositions.
Technical Details
| Framework | MITRE D3FEND |
| Ontology URI | d3f:SymbolicLogic |
| Local Identifier | SymbolicLogic |
| Publication Status | Exists in ontology only |