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

Meaning of second-order logic | Babel Free

Noun CEFR B2

Definitions

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

uncountable, usually

CEFR level

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

See also

second-order threat second-person dual second-person plural second-person plural imperative of amistar second-person plural imperative of callar combined with os second-person plural imperative of considerar

Learn this word in context

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

Start Free Course