different between prenex vs presex

English

Etymology

From Late Latin praenexus (“bound up in front”), a compound of prae (“before”) and nexus, past participle of nect? (“to bind”)

Adjective

prenex (not comparable)

1. (mathematics, logic) Of a formula, having all of its quantifiers at the beginning.

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

Noun

prenex (plural prenexes)

1. (mathematics, logic) Part at the beginning of a prenex formula where all of the formula's bound variables get bound by logical quantifiers.

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

Derived terms

• prenex normal form

References

English

Etymology

From pre- +? sex.

Adjective

presex (not comparable)

1. Before sex.

Anagrams

• prexes