Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective mathematics, logic Of a formula, having all of its
quantifiers at the beginning.
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word prenex.
Examples
-
He used these functions to convert first-order sentences into univeral sentences, that is, into sentences in prenex form with all quantifiers being universal ().
The Algebra of Logic Tradition Burris, Stanley 2009
-
These difficulties persist when a formula is transformed into a (n equivalent) formula in prenex normal form.
Combinatory Logic Bimbó, Katalin 2008
-
Not every predicate formula has an intuitionistically equivalent prenex form.
Intuitionistic Logic Moschovakis, Joan 2007
-
More generally, suppose A is any prenex formula, of the form
The Epsilon Calculus Avigad, Jeremy 2007
-
The first step consists in re-expressing a formula into a semantically equivalent formula in prenex normal form,
Automated Reasoning Portoraro, Frederic 2005
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.