Origin: Latin prefix pre-
Definition, synonyms and related words
Part at the beginning of a prenex formula where all of the formula's bound variables get bound by logical quantifiers.
Of a formula, having all of its quantifiers at the beginning.