Prenex

English

Etymology

Template:Bor+, from Template:Der and Template:M, past participle of Template:M.

Pronunciation

• Template:A Template:IPA

Adjective

1. Template:Lb Of a formula, having all of its quantifiers at the beginning.
   • Template:Quote-book

     "We say that $\varphi$ is universal iff it can be written in prenex form — i.e. with all quantifiers at the beginning — using only universal quantifiers."

Noun

1. Template:Lb The initial part of a prenex formula where all of the formula's bound variables are bound by logical quantifiers.

   $\mathrm{\forall }x.\mathrm{\exists }y.$ is the prenex of the formula $\mathrm{\forall }x.\mathrm{\exists }y.P(x,y)$