formal logic

Short definition from Wiktionary

Noun

Mathematical logic.
A particular logical calculus.

We haven’t written up formal logic yet: Simple and Standard meanings, examples and a quiz.