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
What did you just call me?! A Quiz
-
- If a member of the audience describes your speech as bombastic, does that person mean it is:
Test your vocabulary with our 10-question quiz!
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