Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03161002n
Noun Concept
Categories: Normal forms (logic)
EN
prenex normal form  matrix  prenex  prenex form
EN
A formula of the predicate calculus is in prenex normal form if it is written as a string of quantifiers and bound variables, called the prefix, followed by a quantifier-free part, called the matrix. Wikipedia
Definitions
Relations
Sources
EN
A formula of the predicate calculus is in prenex normal form if it is written as a string of quantifiers and bound variables, called the prefix, followed by a quantifier-free part, called the matrix. Wikipedia
First-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part Wikidata
A way of expressing a formula of predicate logic such the formula consists of a prenex and a matrix, with the prenex preceding the matrix. Wiktionary
IS A
canonical form
HAS KIND
Skolem normal form
FACET OF
predicate calculus
Wikipedia
EN
prenex normal form
Wikidata
EN
prenex normal form
Wiktionary
EN
prenex normal form
Wikipedia Redirections
EN
matrix (logic), prenex, prenex form, Prenex Normal Form

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License