| 单词 | existential quantifier |
| 释义 | > as lemmasexistential quantifier existential quantifier n. Logic a quantifier which serves the purpose of asserting that the proposition to which it is attached is true in at least one instance in the given universe of discourse; the mathematical symbol for this quantifier. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > quantification > elements of quantifier1864 universal quantifier1931 existential quantifier1933 1933 Ann. Math. 34 385 The propositions and rules of Hilbert and Ackermann concerning the existential quantifier can be proved. 1951 J. Łukasiewicz Aristotle's Syllogistic iv. 84 I denote quantifiers by Greek capitals, the universal quantifier by Π, and the particular or existential quantifier by Σ. 1984 P. H. Winston Artific. Intelligence (ed. 2) vii. 210 The symbol ∃ is called the existential quantifier. 2007 D. Westerståhl in D. M. Gabbay & F. Guenthner Handbk. Philos. Logic (ed. 2) XIV. 229 The invention of predicate logic with the universal and existential quantifiers can also be attributed to Peano and Russell. < as lemmas |
| 随便看 |
|
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。