first-order logic

English · Thesaurus

AI In plain words

Writing a short explanation…

Written by a house AI from the entry below, in your language. The entry itself is the source.

first-order logic

noun first-order logics

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.
Similar: FOL

Translations

Every language

noun formal deductive system expanded from propositional logic

Español	lógica de primer orden
Deutsch	Prädikatenlogik erster Stufe
Ελληνικά	λογική πρώτου βαθμού logikí prótou vathmoú
العربية	منطق الرتبَة الأولى

Talk about this word

Cite this

MLA

"first-order logic." Wiktionary, via Micwyn, micwyn.com/word/first-order%20logic. Accessed 6 Nov. 2026.

APA

first-order logic. (n.d.). In Wiktionary, via Micwyn. Retrieved November 6, 2026, from https://micwyn.com/word/first-order%20logic

Chicago

"first-order logic." Wiktionary, via Micwyn. Accessed November 6, 2026. https://micwyn.com/word/first-order%20logic.

BibTeX

@misc{first_order_logic_2026,
  title = {first-order logic},
  howpublished = {Wiktionary, via Micwyn},
  year = {2026},
  url = {https://micwyn.com/word/first-order%20logic},
  urldate = {2026-11-06}
}