Definition of prenex in US English:

prenex

adjective

Logic
  • Designating a quantifier placed at the beginning of a formula which affects the whole formula; relating to or involving such a quantifier.

Origin

1930s; earliest use found in Journal of Symbolic Logic. From post-classical Latin praenexus tied or bound up in front, past participle of praenectere (though only recorded in past participle) from classical Latin prae- + nectere to bind, connect.

Pronunciation

prenex

/ˈpriːnɛks/