prenex
/ˈpɹi.nɛks/
Word Rarity
Very rare
Frequency: Zipf frequency 0.00 in modern English
15
Scrabble Score
6
Letters
1
Syllables
5
Unique Chars
Meaning
adj
Of a formula, having all of its quantifiers at the beginning.
noun
The initial part of a prenex formula where all of the formula's bound variables are bound by logical quantifiers.
Example Sentences
- ""We say that #92;phi is universal iff it can be written in prenex form — i.e. with all quantifiers at the beginning — using only universal quantifiers.""
- "∀x.∃y. is the prenex of the formula ∀x.∃y.P(x,y)"
Etymology
Borrowed from Late Latin praenexus (“bound up in front”), from Latin prae- (“before”) and nexus, past participle of nectō (“to bind”).
Origin
- Source language: Latin
Word Breakdown
- Root: prae-
Regional Pronunciation
- American English: /ˈpɹi.nɛks/