В Вашем браузере деактивирован Javascript. Активировав его, Вы сможете пользоваться LexiTrainer, а также другими функциями.

англо » немецкий

Переводы „universal quantifier“ в словаре англо » немецкий (Перейти к немецко » английский)

universal quantifier СУЩ.

Статья, составленная пользователем

- Статью редактировать
- Предложить удалить

universal quantifier МАТЕМ.

Одноязычные примеры (не проверены редакцией PONS)

английский

Pi-types can also be understood as models of universal quantifiers. en.wikipedia.org

The existential and universal quantifiers in logic are similarly dual. en.wikipedia.org

Note the implied universal quantifiers in the above axioms. en.wikipedia.org

Fairness amounts to expanding every universal quantifier infinitely often. en.wikipedia.org

It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom. en.wikipedia.org

If a variable is universally quantified, the formula following it has the same truth value as the formula beginning with the universal quantifier regardless of the move taken. en.wikipedia.org

Accordingly, there are existential and universal quantifiers. en.wikipedia.org

The universal quantifier for every in this sentence expresses the idea that the claim if "a" is a philosopher, then "a" is a scholar holds for "all" choices of "a". en.wikipedia.org

However, in general only universal quantifiers at the outermost level can be eliminated this way. en.wikipedia.org

By introducing dummy variables, any formula in prenex normal form can be converted into a sentence where existential and universal quantifiers alternate. en.wikipedia.org

Хотели бы вы добавить слова, фразы или переводы?

Пришлите нам новую статью.

Поиск в словаре

английский

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