Definitions
prenex Tweet Definition of prenex Like Definition of prenex on Facebook
adjective 
  1. (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 &mdash; i.e. with all quantifiers at the beginning &mdash; using only universal quantifiers."

Supplemental Details:Sponsor an extended definition for prenex for as little as $10 per month. Click here to contact us.

     
  

 Find:
  Words Starting With:
  Words Ending With:
  Words Containing:
  Words That Match:

 
 Translate Into:
  
Dutch   French   German
  
Italian   Spanish
    Show results per page.

Browse the Dictionary
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

   
Dictionary content provided from Wiktionary.org under the GNU Free Documentation License
Allwords Copyright 1998-2021 All rights reserved.