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

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