prenex normal formnoun
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
the perfect form or example of something
Get Word of the Day daily email!