В предикатной логике, квантор существования (экзистенциальный квантификатор) — это предикат свойства или отношения для, по крайней мере, одного элемента области определения. Он обозначается как символ логического оператора ∃ (произносится как «существует» или «для некоторого»). Квантор существования отличается от квантора всеобщности, который утверждает, что свойство или отношение выполняется для всех элементов области.
Существует модификация этого квантора как квантор существования и единственности — это предикат свойства или отношения для одного, и только для одного элемента области определения. Обозначается ∃! и читается «существует и единственный».
Выражение читается так:
Квантор существования задается выражением, квантор существования определение, квантор существования специальный логический символ, квантор существования по-английски.
Каждый по способностям, каждому по потребностям, Сосна стройная, Центр бизнес-консалтинга и аудита, Файл:Itala Film.jpg.