Квантор всеобщности: различия между версиями

'''[[Квантор]] ссанинывсеобщности''' (обозначения: <math>\forall</math>, ∀) — это условие, которое верно для '''всех''' обозначенных элементов, в отличие от [[квантор существования|''квантора существования'']], где условие верно только для каких-то '''отдельных''' элементов из указанного множества. Формально говоря, это [[квантор]], используемый для обозначения того, что множество целиком лежит в области истинности указанного [[предикат]]а. Читается как «для всех…», «для каждого…», «для любого…» или «все…», «каждый…», «любой…».