Complete Definition of "prenex"

English

Adjective
en-adj|-

  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 prenex form &mdash; i.e. with all quantifiers at the beginning &mdash; using only universal quantifiers."

Revision and Credits for"prenex"
Dictionary content provided from Wiktionary.org under the
GNU Free Documentation License
 
 

 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

   
Allwords Copyright 1998-2021 All rights reserved.