Dictionary

first-order logic en · NOUN

Meanings

1. (countable, uncountable) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
   • At Cambridge in the mid-1990s, [Demis] Hassabis and [David] Silver encountered a culture still wedded to the midcentury assumptions. They were taught “first order logic,” a system of rigidly unambiguous statements that was used in deductive programming. 2026, Sebastian Mallaby, chapter 2, in The Infinity Machine: Demis Hassabis, DeepMind and the Quest for Superintelligence, Penguin, →ISBN:

Forms

Hypernyms

predicate logic

Synonyms

FOL

Translations (8)

de Prädikatenlogik erster Stufe (formal deductive system expanded from propositional logic) · fi ensimmäisen kertaluvun logiikka (formal deductive system expanded from propositional logic) · el λογική πρώτου βαθμού (formal deductive system expanded from propositional logic) · ar منطق الرتبَة الأولى (formal deductive system expanded from propositional logic) · ca lògica de primer ordre (formal deductive system expanded from propositional logic) · es lógica de primer orden (formal deductive system expanded from propositional logic) · is rökfræði fyrstu stéttar (formal deductive system expanded from propositional logic) · pl logika pierwszego rzędu (formal deductive system expanded from propositional logic)