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

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!

History and Etymology for prenex normal form

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

Keep scrolling for more

Learn More About prenex normal form

Dictionary Entries Near prenex normal form

pre-Newtonian

prenex normal form

pre-Noachian

See More Nearby Entries 

Statistics for 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 20 Sep. 2021.

Style: MLA
MLACheck Mark Icon ChicagoCheck Mark Icon APACheck Mark Icon Merriam-WebsterCheck Mark Icon

WORD OF THE DAY

Test Your Vocabulary

Difficult Spelling Words Quiz

  • alphabet pasta spelling help
  • Which is the correct spelling?
How Strong Is Your Vocabulary?

Test your vocabulary with our 10-question quiz!

TAKE THE QUIZ
 AlphaBear 2

Spell words. Make bears.

TAKE THE QUIZ
Love words? Need even more definitions?

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