What's the difference between
and
Enter two words to compare and contrast their definitions, origins, and synonyms to better understand how those words are related.

Pretex vs Prenex - What's the difference?

pretex | prenex |

As a verb pretex

is to frame; to devise; to disguise or excuse.

As an adjective prenex is

of a formula, having all of its quantifiers at the beginning.

As a noun prenex is

part at the beginning of a prenex formula where all of the formula's bound variables get bound by logical quantifiers.

pretex

English

Verb

  • (obsolete) To frame; to devise; to disguise or excuse.
  • (obsolete) To pretend; to declare falsely.
    • (Webster 1913)

    prenex

    English

    Adjective

    (-)
  • (mathematics, logic) Of a formula, having all of its quantifiers at the beginning.
  • *
    • "We say that \phi is universal iff it can be written in prenex form — i.e. with all quantifiers at the beginning — using only universal quantifiers."

    Noun

    (prenexes)
  • (mathematics, logic) Part at the beginning of a prenex'' formula where all of the formula's bound variables get bound by logical quantifiers.John Woldemar Cowan, ''The Lojban Reference Grammar , §16.2
    • \forall x. \exists y. is the prenex of the formula \forall x. \exists y. P(x,y)

    Derived terms

    * (prenex normal form)

    References