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

В [[предикатная логика|предикатной логике]], '''[[квантор]] существования''' (экзистенциальный квантификатор) — это [[предикат]] свойства или отношения для, '''по крайней мере, одного''' элемента области определения. Он обозначается как символ логического оператора ∃ (произносится как «'''существует'''» или «'''для некоторого'''»). Квантор существования отличается от [[квантор всеобщности|квантора всеобщности]], который утверждает, что свойство или отношение выполняется '''для всех''' элементов области.

Символ <math>\exists</math> для квантора существования введён [[Пеано, Джузеппе|Джузеппе Пеано]] в [[1897]] г. Позже символ <math>\forall</math> для квантора всеобщности был введён в [[1935]] г. [[Генцен, Герхард|Герхардом Генценом]].