Prenex
Definition, Meaning & Examples
Pronunciation /ˈpɹi.nɛks/ · Part of speech adjective
Quick meaning: Prenex is an adjective meaning (mathematics, logic) Of a formula, having all of its quantifiers at the beginning.
Meaning
(mathematics, logic) Of a formula, having all of its quantifiers at the beginning.
More Meanings
- (mathematics, logic) The initial part of a prenex formula where all of the formula's bound variables are bound by logical quantifiers.
Example Sentences
∀x.∃y. is the prenex of the formula ∀x.∃y.P(x,y)
"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."
Word Forms
- prenexes
Related Words
Related dictionary entries include bound, closed, open, finitary, cofinite, prime.
Related Dictionary Tools
Sources & Attribution
FreeDictionaryAPI.com / Wiktionary · Original source · CC BY-SA 4.0
Dictionary data is provided by FreeDictionaryAPI.com and sourced from Wiktionary under its stated license.