
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