在"英语"词典里existential quantifier}的意思

在英语中EXISTENTIAL QUANTIFIER的发音

existential quantifier

EXISTENTIAL QUANTIFIER在英语中的意思是什么？

存在量化

Existential quantification

在谓词逻辑中，存在量化是一种量词，逻辑常数被解释为“存在”，“至少有一个”或“一些”。 它表示命题功能可以由话语领域的至少一个成员来满足。 换句话说，它是对该域的至少一个成员的属性或关系的预测。 它断言在存在量词的范围内的谓词对于谓词变量的至少一个值是真实的。 它通常由转动的E（∃）逻辑运算符符号表示，当与谓词变量一起使用时，它被称为存在量词（“∃x”或“∃（x）”）。 存在量化不同于通用量化（“for all”），它声称该域的所有成员的属性或关系成立。 符号被编码为U + 2203∃存在（HTML：＆amp;＃8707;＆amp; exists;作为数学符号），并且U + 2204∄不存在（HTML：＆amp;＃8708;）。

In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists," "there is at least one," or "for some." It expresses that a propositional function can be satisfied by at least one member of a domain of discourse. In other terms, it is the predication of a property or relation to at least one member of the domain. It asserts that a predicate within the scope of an existential quantifier is true of at least one value of a predicate variable. It is usually denoted by the turned E (∃) logical operator symbol, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)"). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain. Symbols are encoded U+2203 ∃ there exists (HTML: ∃ ∃ as a mathematical symbol) and U+2204 ∄ there does not exist (HTML: ∄).

在英语 词典里existential quantifier的定义

字典中的存在量词的定义是一个正式的装置，对于这个正式的装置，常规的符号是∃，表示随后的开放句子至少是相关解释宇宙的一个成员，因为Fx意思是“某事物是F ，“Fs”或“Fs”。

EXISTENTIAL QUANTIFIER的翻译

通过我们的英语多语言翻译器,找到existential quantifier的25种语言翻译

该章节所呈现的将existential quantifier由 英语向其他语言的翻译是通过自动统计翻译获得的；在英语中基本的翻译单位是单词«existential quantifier»。

• 翻译者英语 - 中文: 存在量词
• 翻译者英语 - 西班牙语: cuantificador existencial
• 英语: existential quantifier
• 翻译者英语 - 印地语: अस्तित्व परिमाणक
• 翻译者英语 - 阿拉伯语: محدد الكمية وجودية
• 翻译者英语 - 俄语: квантор существования
• 翻译者英语 - 葡萄牙语: quantificador existencial
• 翻译者英语 - 孟加拉语: অস্তিত্বশীল কোয়ান্টিফায়ার
• 翻译者英语 - 法语: quantificateur existentiel
• 翻译者英语 - 马来语: Kuantum eksistensial
• 翻译者英语 - 德语: Existenzquantor
• 翻译者英语 - 日语: 存在記号
• 翻译者英语 - 韩语: 실존 한정
• 翻译者英语 - 印尼爪哇语: Kuantisasi eksistensial
• 翻译者英语 - 越南语: lượng hóa tồn tại
• 翻译者英语 - 泰米尔语: இருத்தலியல் அளவுகோல்
• 翻译者英语 - 马拉地语: अस्तीत्वसंबंधी क्वाण्टिफायर
• 翻译者英语 - 土耳其语: Varoluşsal nicelikçi
• 翻译者英语 - 意大利语: quantificatore esistenziale
• 翻译者英语 - 波兰语: kwantyfikator
• 翻译者英语 - 乌克兰语: квантор існування
• 翻译者英语 - 罗马尼亚语: cuantificator existential
• 翻译者英语 - 希腊语: υπαρξιακό ποσοδείκτη
• 翻译者英语 - 布尔语(南非荷兰语): eksistensiële quantifier
• 翻译者英语 - 瑞典语: existentiell kvantifieraren
• 翻译者英语 - 挪威语: eksistensiell kvantifikator

与 «EXISTENTIAL QUANTIFIER»相关的英语书籍

在以下的参考文献中发现existential quantifier的用法。与existential quantifier相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。

Beginning Logic (This book is not for sale to customers in ...

3 THE EXISTENTIAL QUANTIFIER As the universal quantifier is related to ' & ', so is the existential quantifier to ' v '. In the universe of 3 objects discussed in the last section, ' (x) Fx ' meant the same as ' Fm & Fn & Fo '. Now to say that there is ...

E.J. Lemmon, 1971

SQL For Dummies

Anyis used as an existential quantifier. The second sentence, however, is a boast that's stating that I can eat more eggs than the biggest eateramong all you people can eat. Inthis case, anyis used as a universal quantifier. Thus, for the SQL-92 ...

Allen G. Taylor, 2011

Discrete Mathematics with Proof

If x is a member of a finite set, then the statement 3x, S(x) can also be written as S (x\) v S(x2) v ••□ v S(x„).38 This equivalence enables truth tables to be used with the existential quantifier whenever x has a finite domain. An Existentially ...

Eric Gossett, 2009

Operations Research and Artificial Intelligence

The reason that \ can depend on i is that the existential quantifier is within the scope of the universal quantifier (V*). The existential quantifier is eliminated altogether by making the dependence explicit by some function (called a skolem  ...

C. W. Holsapple, 1994

Meaning and Argument: An Introduction to Logic Through Language

expressions can be defined in terms of these two): the universal and existential quantifier expressions. (See §A4.5 for discussion of another type of quantifier, one that cannot be defined in terms of these two.) 9.4.1 Simple Existential Quantifier ...

Ernest Lepore, Sam Cumming, 2012

Analytic Philosophy of Religion

obviously not a real predicate" in terms of the function of the existential quantifier. While in "God exists," 'exists' is a grammatical predicate, as 'green' is in "This tree is green," "exists" has a different logical function that is captured by the use of ...

James Franklin Harris, 2002

Introduction to Abstract Mathematics

Q9 [3x(P(x) A 0(je))] -» (3xP(x) A 3xQ(x)) This tells us that the existential quantifier may be pushed inside a conjunction. The converse is not true. For example, if there exists a number that is prime and even, then there exists a number that is ...

John F. Lucas, 1990

Trading Ontology for Ideology: The Interplay of Logic, Set ...

The advantage29 of the extended theory of descriptions lay in the possibility of rephrasing any existential statement by means of the existential quantifier. Scrutiny of this existential quantifier may be of great help in clarifying problems about ...

L. Decock, 2002

Necessity and Truthful Fictions: Panenmentalist Observations

In sum, the existential quantifier, accompanied by truth functions, functions over the realm of pure possibilities at least as much as it functions over actual reality. The sense of actuality is not enough. We need two senses of reality and we ...

Amihud Gilead, 2009

Mathematical Methods in Linguistics

Laws 2 and 3 suggest a fundamental connection between the universal quantifier and conjunction and between the existential quantifier and disjunction. (Vz)^(z) is true just in case 0(a) is true and 0(6) is true and . .., where a, 6, ... name all the ...

Barbara Partee, Alice ter Meulen, Robert Wall, 1990