Word.ws English Dictionary

prenexes

prenexes is the plural of prenex.

Meaning of prenex

Noun

prenex (plural prenexes)

  1. The initial part of a prenex formula where all of the formula's bound variables are bound by logical quantifiers.
    • ∀x.∃y. is the prenex of the formula ∀x.∃y.P(x,y)

See all 2 meanings of prenex

Questions about prenexes

What is prenexes the plural of?
Prenexes is the plural of prenex.

Words near prenexes in the dictionary

  1. preneutralize
  2. preneutralized
  3. prenewtonian
  4. prenex
  5. prenex normal form
  6. prenexes
  7. Prenger
  8. Prengers
  9. prenidal
  10. prenodal
  11. prenol

Source and license

Adapted from Wiktionary: prenexes (page history and authors); prenex (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “prenexes.” Word.ws, https://word.ws/prenexes. Based on Wiktionary, CC BY-SA 4.0.