← Back to search

Meaning of formal logic | Babel Free

Noun CEFR B2

Definitions

Mathematical logic.
countable, uncountable
A particular logical calculus.
countable, uncountable

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

formal ontology formal parameter formal power series formal science formal semantics formal sociology