formal logic
English
Noun
formal
logic
(
countable and uncountable
,
plural
formal logics
)
(
logic
)
Mathematical logic
.
(
logic
)
A particular
logical calculus
.