SINCE 1828
prenex normal form
noun
pre·nex normal form
| \
ˈprēˌneks- \
Definition of prenex normal form
: 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
Keep scrolling for more
Comments on prenex normal form
What made you want to look up prenex normal form? Please tell us where you read or heard it (including the quote, if possible).
Test Your Vocabulary
Name that Food Quiz
-
- Name these cookies!
Test your knowledge - and maybe learn something along the way.
TAKE THE QUIZ
Test Your Knowledge - and learn some interesting things along the way.
TAKE THE QUIZ
Share prenex normal form
Resources for prenex normal form