Prenex meaning

(mathematics, logic) Of a formula, having all of its quantifiers at the beginning.
adjective
0
0
(mathematics, logic) Part at the beginning of a prenex formula where all of the formula's bound variables get bound by logical quantifiers.

Is the prenex of the formula.

noun
0
0
Advertisement