To save this word, you'll need to log in.
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
Homophone Quiz
- In order to judge how people felt, the senator's office hired a firm to take a
______.
Can you spell these 10 commonly misspelled words?
TAKE THE QUIZ
Test Your Knowledge - and learn some interesting things along the way.
TAKE THE QUIZLove words? Need even more definitions?
Merriam-Webster unabridgedWords at Play
Ask the Editors
Share prenex normal form