Jisho

×
冠頭標準形
Links
Wikipedia definition
1. Prenex normal form​A formula of the predicate calculus is in prenex normal form if it is written as a string of quantifiers followed by a quantifier-free part (referred to as the matrix). Every formula in classical logic is equivalent to a formula in prenex normal form. For example, if,, and are quantifier-free formulas with the free variables shown then is in prenex normal form with matrix, while is logically equivalent but not in prenex normal form.
Read “Prenex normal form” on English Wikipedia
Read “冠頭標準形” on Japanese Wikipedia
Read “Prenex normal form” on DBpedia

Discussions

to talk about this word.