# formal logic

## EnglishEdit

### NounEdit

**formal logic** (*countable and uncountable*, *plural* **formal logics**)

- (logic) Mathematical logic.
- (logic) A particular logical calculus.

**formal logic** (*countable and uncountable*, *plural* **formal logics**)

- (logic) Mathematical logic.
- (logic) A particular logical calculus.