prenex (suomeksi)

Määritelmät:

(lb, en, mathematics, logic) Of a formula, having all of its quantifiers at the beginning.
(lb, en, 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, [http://dag.github.com/cll/16/2/ ''The Lojban Reference Grammar'', §16.2]