English » German

Translations for „existential quantifier“ in the English » German Dictionary (Go to German » English)

existential quantifier N

User Entry

- Reedit this entry
- Recommend deletion

existential quantifier MATH

Existenzquantor m

Monolingual examples (not verified by PONS Editors)

English

That is, we can quantify over non-existent things using the particular quantifier (also known misleadingly in the view of noneists as the existential quantifier). en.wikipedia.org

There are several rules of inference which utilize the existential quantifier. en.wikipedia.org

For instance, an existential quantifier over a function symbol would be interpreted as modifier there is a function. en.wikipedia.org

In such a logic, one can regard the existential quantifier, for instance, as derived from an infinitary disjunction. en.wikipedia.org

That is, in more formal terms of symbolic logic, it is a theorem with a statement involving the existential quantifier. en.wikipedia.org

These can be assigned values or can be quantified as to when they apply with the universal quantifier (always apply) or the existential quantifier (applies at least once). en.wikipedia.org

The possibility of this construction relies on the intuitionistic interpretation of the existential quantifier. en.wikipedia.org

The axioms below are grouped by the types of relation they invoke, then sorted, first by the number of existential quantifiers, then by the number of atomic sentences. en.wikipedia.org

This definition, while terse and commonly used, is suboptimal for certain purposes because it contains an existential quantifier which is not really necessary. en.wikipedia.org

They are a generalization of first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. en.wikipedia.org

Would you like to add some words, phrases or translations?

Submit a new entry.

Browse the dictionary

English

Choose your language Deutsch | български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文