symbolic logic
Short definition from Wiktionary
Noun
- A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols.
We haven’t written up symbolic logic yet: Simple and Standard meanings, examples and a quiz.