See Also: prenex(dictionary)

prenex (iou)



prenex adjective. M20.
[Late Latin praenexus tied or bound up in front, from Latin prae PRE- + NEXUS.]
Math. & Logic. Pertaining to or designating a quantifier at the beginning of a formula which affects the whole formula.