prenex normal form
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
Love words? You must — there are over 200,000 words in our free online dictionary, but you are looking for one that’s only in the Merriam-Webster Unabridged Dictionary.
Join MWU now and get access to America’s largest dictionary, with:
- 300,000 words that aren't in our free dictionary
- Expanded definitions, etymologies, and usage notes
- Advanced search features
- Ad free!
Origin and Etymology of prenex normal form
Late Latin praenexus tied up or bound in front, from Latin prae- pre- + nexus, past participle of nectere to tie, bind — more at annex
Seen and Heard
What made you want to look up prenex normal form? Please tell us where you read or heard it (including the quote, if possible).