HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › first-order logic
Back to search

first-order logic

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

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
See all B2 English words →

See also

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

Learn this word in context

See first-order logic used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free