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
- sulfur bacterium
- sulfur black
- sulfur chloride
- sulfur color
- sulfur dichloride
- sulfur dioxide
- sulfur dye
- sulfur family
- sulfur flour
- sulfur hexafluoride
- sulfur match
- sulfur monochloride
- sulfur mushroom
- sulfur oil
- sulfur olive oil
- sulfur oxide
- sulfur point
- sulfur polypore
- sulfur shelf
- sulfur spring
- sulfur subchloride
- sulfur toning
- sulfur trioxide
- sulfur water
- sulfurated