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).

WORD OF THE DAY

wangle

to make or get by devious means

Test Your Vocabulary

Summer 2019 Words of the Day Quiz

Which is a synonym of desideratum?

How Strong Is Your Vocabulary?

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