prenex

/P R N AH0 K S/

adjective

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

noun

1
(mathematics, logic) The initial part of a prenex formula where all of the formula's bound variables are bound by logical quantifiers.

Translate “prenex” into another language

Choose a language below to open the translator with English selected as the source language.