Saisissez le mot à rechercher
existential quantifier
Traductions
An existential quantifier is used to express that there is at least one element for which a proposition holds.
Существующий квантор используется, чтобы выразить, что существует хотя бы один элемент, для которого утверждение верно.