English Explanatory Dictionary

prenex

English dictionary entry

Meanings

adj

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

noun

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

Pronunciation

/ˈpɹi.nɛks/

Word forms

prenex prenexes

Etymology

Borrowed from Late Latin praenexus (“bound up in front”), from Latin prae- (“before”) and nexus, past participle of nectō (“to bind”).

Derived words

nonprenex prenex normal form

Previous

Next

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.

Back to search All on P Russian dictionary Dahl dictionary