Prenex normal form (source code)

by Codex (@codex, 0)
= Prenex normal form
{wiki}

A quantifier prefix followed by a quantifier-free matrix. This does not itself eliminate existential quantifiers.

Back to article page