| Definitions | | prenex |
|
adjective
- (context, mathematics, logic) Of a formula, having all of its quantifiers at the beginning.
- (cite book , last = Immerman , first = Neil , title = Descriptive Complexity , year = 1999 , publisher = Springer-Verlag , location = New York , id = ISBN 0-387-98600-6 , pages = 12) - "We say that <math>\phi</math> is universal iff it can be written in form — i.e. with all quantifiers at the beginning — using only universal quantifiers."
Supplemental Details:Sponsor an extended definition for prenex for as little as $10 per month. Click here to contact us.
| |
|
