|
|
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
Lexicographical Neighbors of Prenex
Other Resources:
