first-order logic

Noun

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

Synonyms

 * FOL

Hypernyms

 * predicate logic

Translations

 * Arabic: منطق الرتبَة الأولى
 * Catalan: lògica de primer ordre
 * Finnish: ensimmäisen kertaluvun logiikka
 * Greek: λογική πρώτου βαθμού
 * Icelandic: rökfræði fyrstu stéttar
 * Spanish: lógica de primer orden