Standard Lemma guide
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
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.
adj
Of a formula, having all of its quantifiers at the beginning.
Definition source: English Wiktionary via Wiktextract
Usage: not-comparable
Topics: human-sciences, logic, mathematics, philosophy, sciences
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
noun
The initial part of a prenex formula where all of the formula's bound variables are bound by logical quantifiers.
Definition source: English Wiktionary via Wiktextract
Topics: human-sciences, logic, mathematics, philosophy, sciences
Synonyms: none provided
Antonyms: none provided
History
Borrowed from Late Latin praenexus (“bound up in front”), from Latin prae- (“before”) and nexus, past participle of nectō (“to bind”).
