first-order logic

English

Noun

first-order logic (countable and uncountable, plural first-order logics)

1. (logic) 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

formal deductive system expanded from propositional logic

• Arabic: منطق الرتبَة الأولى‎
• Finnish: ensimmäisen kertaluvun logiikka
• Greek: λογική πρώτου βαθμού f (logikí prótou vathmoú)

• Icelandic: rökfræði fyrstu stéttar f
• Spanish: lógica de primer orden f