prenex normal form

noun

pre·​nex normal form
ˈprēˌneks-
: 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

Word History

Etymology

Late Latin praenexus tied up or bound in front, from Latin prae- pre- + nexus, past participle of nectere to tie, bind

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.

Start your free trial today and get unlimited access to America's largest dictionary, with:

  • More than 250,000 words that aren't in our free dictionary
  • Expanded definitions, etymologies, and usage notes
  • Advanced search features
  • Ad free!

Dictionary Entries Near prenex normal form

Cite this Entry

“Prenex normal form.” Merriam-Webster.com Dictionary, Merriam-Webster, https://www.merriam-webster.com/dictionary/prenex%20normal%20form. Accessed 3 Dec. 2022.

Love words? Need even more definitions?

Subscribe to America's largest dictionary and get thousands more definitions and advanced search—ad free!


Words Named After People

  • name tags
  • Namesake of the leotard, Jules Léotard had what profession?
Name That Thing

You know what it looks like… but what is it called?

TAKE THE QUIZ
Universal Daily Crossword

A daily challenge for crossword fanatics.

TAKE THE QUIZ