Meaning of prenex | Babel Free

Definitions

Of a formula, having all of its quantifiers at the beginning.

not-comparable

Examples

“"We say that #92;phi is universal iff it can be written in prenex form — i.e. with all quantifiers at the beginning — using only universal quantifiers."”

CEFR level