单词 | universal quantifier |
释义 | > as lemmasuniversal quantifier universal quantifier n. [after German allgemeiner Quantificator (J. Łukasiewicz & A. Tarski 1930, in Sprawozdania z Posiedzeń Towarzystwa naukowego Warszawskiego (Wydział III) 23 44)] Logic a quantifier referring to all the members of a universe or class. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > quantification > elements of quantifier1864 universal quantifier1931 existential quantifier1933 a1831 Encycl. Metrop. (1845) I. 207/1 When the subject of a Proposition is a common Term, the universal signs (‘all, no, every’) are used.] 1931 Ann. Math. 32 154 I shall attempt..to consider these processes in their formal relations to the universal quantifier, or Allzeichen, or sign or prefix of generality, as it is variously called. 1989 R. Penrose Emperor's New Mind iv. 103 We shall want the logical ‘quantifiers’: the existentional quantifier [E] (‘there exists..such that’) and the universal quantifier [A] (‘for all..we have’). 2004 M. Potter Set Theory & its Philos. i. 12 We shall use..the symbols ‘⇒’ for the conditional, ‘⇔’ for the biconditional, and ‘∀’ and ‘Ǝ’ for the universal and existential quantifiers. < as lemmas |
随便看 |
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。