Home                   
Crossword Solver
Glossary HQ
Links for Word Lovers
Word of the Week
Help                      
Copyrights           
Privacy                 
Webmasters
Link to Us
Contact Us           
Bookstore            
 

 
 
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-2024 All rights reserved.