Квантор существования
Материал из Википедии — свободной энциклопедии
В предикатной логике, квантор существования — это предикат свойства или отношения для по-крайней мере одного элемента области определения. Он обозначается как символ логического оператора ∃ (произносится как «существует» или «для некоторого»). Квантор существования отличается от квантора всеобщности, который утверждает, что свойство или отношение выполняется для всех элементов области.
[править] Варианты чтения
Выражение 
читается так:
- существует [значение] x из X такое, что P(x) [истинно]
- для некоторых [значений] x из X, P(x) [истинно]
- существует элемент x множества X, обладающий свойством P(x)
- по крайней мере (хотя бы) один элемент x множества X обладает свойством P(x)
- некоторые элементы множества X обладает свойством P(x)
- найдётся такое x из X, что P(x) истинно
