Definition of Prenex

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



2. Noun. (context: 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] ¹

¹ Source: wiktionary.com

Prenex Pictures

Click the following link to bring up a new window with an automated collection of images related to the term: Prenex Images

Lexicographical Neighbors of Prenex

prenasalized
prenasalizes
prenasalizing
prenasals
prenatal
prenatal diagnosis
prenatally
prenate
prenates
prenazone
preneed
prenegotiated
prenegotiation
prenegotiations
preneoplastic
prenex (current term)
prenexes
prenol
prenols
prenomen
prenomens
prenomina
prenominal
prenominate
prenominated
prenominates
prenominating
prenomination
prenominations
prenoon

Other Resources Relating to: Prenex

Search for Prenex on Dictionary.com!Search for Prenex on Thesaurus.com!Search for Prenex on Google!Search for Prenex on Wikipedia!

Search