# formal logic

## EnglishEdit

### NounEdit

**formal logic** (*plural* **formal logics**)

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

Wikipedia has an article on:

**formal logic** (*plural* **formal logics**)

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