Phrase guide

first-order logic

noun · 1 senses · updated from the 2026-07-25 local source snapshot

Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.

Sound

Pronunciation

Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.

No pronunciation record was provided for this word.

1

noun

Meaning 1

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

Definition source: English Wiktionary via Wiktextract

Usage: countable, uncountable

Topics: human-sciences, logic, mathematics, philosophy, sciences

No example sentence was provided for this meaning.

Meaning relationships

Synonyms: none provided

Antonyms: none provided

History

Etymology

No etymology was provided for this word.

Across languages

Translations

7 source translations are retained for this English entry.

  • Arabic: منطق الرتبَة الأولى — formal deductive system expanded from propositional logic
  • Catalan: lògica de primer ordre — formal deductive system expanded from propositional logic
  • Finnish: ensimmäisen kertaluvun logiikka — formal deductive system expanded from propositional logic
  • German: Prädikatenlogik erster Stufe — formal deductive system expanded from propositional logic
  • Greek: λογική πρώτου βαθμού (logikí prótou vathmoú) — formal deductive system expanded from propositional logic
  • Icelandic: rökfræði fyrstu stéttar — formal deductive system expanded from propositional logic
  • Spanish: lógica de primer orden — formal deductive system expanded from propositional logic