Test your knowledge - and maybe learn something along the way.
TAKE THE QUIZ“prenex normal”
We have one entry that includes the term prenex normal.
prenex normal form
noun: a normal form of an expression in the functional calculus in which all the quantifiers are grouped without negations or other connectives before the matrix so that the scope of each quantifier extends to the end of the formula
Love words? Need even more definitions?
Merriam-Webster unabridged
