prenexadj.

Brit.

/ˈpriːnɛks/, U.S.

/ˈpriˌnɛks/

Origin: A borrowing from Latin. Etymons: Latin praenexus, praenectere.

Etymology: < post-classical Latin praenexus tied or bound up in front (3rd or 4th cent.), past participle of praenectere (though only recorded in past participle) < classical Latin prae- pre- prefix + nectere to bind, connect (see nexus n.).

Logic.

Designating a quantifier placed at the beginning of a formula which affects the whole formula; relating to or involving such a quantifier.

ΘΚΠ

the mind > mental capacity > philosophy > logic > predicate or propositional logic > [adjective] > of quantification

quantified1847

prenex1939

quantificational1939

1939 Jrnl. Symbolic Logic 4 6 Thus, we get a first order formula which (or the equivalent prenex formula) we denote by B.

1950 W. V. Quine Methods of Logic (1952) iv. 226 Let us speak of a quantifier as prenex in a sentence when..it is initial..and its scope reaches to the end of the sentence.

1950 W. V. Quine Methods of Logic (1952) iv. 243 The prenex universal quantifiers..are dropped for ease in reading.

1992 Mind 101 112 He draws upon a proposal Putnam sketched in his provocative 1967 article, and translates prenex set theoretic sentences.

Compounds

prenex normal form n. a form of expressing a logical formula in which all the quantifiers are placed before an open sentence, each quantifier affects the whole sentence and is associated with a different variable, and each variable occurs in the sentence.

ΚΠ

1942 D. D. Runes Dict. Philos. 103 A proposition expressible in the functional calculus of first order may be called existential if the prenex normal form has a prefix containing an existential quantifier.

1944 A. Church in Ann. Math. Stud. xiii. 61 Use of the prenex normal form was introduced by C. S. Peirce, although in a different terminology and notation.

1990 Proc. London Math. Soc. 60 59 We can bring ϕ to its prenex normal form (Q₁)..(Q_r)ϕ where ϕ is an L._c-formula without quantifiers and (Q_i) is a quantifier over a residue ring sort or the value group sort.

This entry has been updated (OED Third Edition, March 2007; most recently modified version published online March 2022).

单词	prenex
释义	prenexadj. Brit. /ˈpriːnɛks/, U.S. /ˈpriˌnɛks/ Origin: A borrowing from Latin. Etymons: Latin praenexus, praenectere. Etymology: < post-classical Latin praenexus tied or bound up in front (3rd or 4th cent.), past participle of praenectere (though only recorded in past participle) < classical Latin prae- pre- prefix + nectere to bind, connect (see nexus n.). Logic. Designating a quantifier placed at the beginning of a formula which affects the whole formula; relating to or involving such a quantifier. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [adjective] > of quantification quantified1847 prenex1939 quantificational1939 1939 Jrnl. Symbolic Logic 4 6 Thus, we get a first order formula which (or the equivalent prenex formula) we denote by B. 1950 W. V. Quine Methods of Logic (1952) iv. 226 Let us speak of a quantifier as prenex in a sentence when..it is initial..and its scope reaches to the end of the sentence. 1950 W. V. Quine Methods of Logic (1952) iv. 243 The prenex universal quantifiers..are dropped for ease in reading. 1992 Mind 101 112 He draws upon a proposal Putnam sketched in his provocative 1967 article, and translates prenex set theoretic sentences. Compounds prenex normal form n. a form of expressing a logical formula in which all the quantifiers are placed before an open sentence, each quantifier affects the whole sentence and is associated with a different variable, and each variable occurs in the sentence. ΚΠ 1942 D. D. Runes Dict. Philos. 103 A proposition expressible in the functional calculus of first order may be called existential if the prenex normal form has a prefix containing an existential quantifier. 1944 A. Church in Ann. Math. Stud. xiii. 61 Use of the prenex normal form was introduced by C. S. Peirce, although in a different terminology and notation. 1990 Proc. London Math. Soc. 60 59 We can bring ϕ to its prenex normal form (Q₁)..(Q_r)ϕ where ϕ is an L._c-formula without quantifiers and (Q_i) is a quantifier over a residue ring sort or the value group sort. This entry has been updated (OED Third Edition, March 2007; most recently modified version published online March 2022). < adj.1939
随便看	lawabidingness lawact lawbar lawbearer lawbeaten lawbible lawbiding lawbinding lawbook lawbooks lawborrow lawbound lawbreach lawbreak lawbreaker lawbreakers lawbreaking lawbreakings lawbred lawbusiness lawcalf lawcase lawcatching lawcharges lawchicanery