← Back to search

Meaning of first-order logic | Babel Free

Noun CEFR B2

Definitions

A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

countable, uncountable

Equivalents

العربية منطق الرتبَة الأولى

Español lógica de primer orden

CEFR level

B2

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

See also

first-order question first-order spectrum first-party cookie first-party logistics first-passage time first-person dual