На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
Квантор существования (экзистенциальный квантификатор) в предикатной логике — предикат свойства или отношения для по крайней мере одного элемента из области определения. Обозначается символом логического оператора ∃ (произносится как «существует» или «для некоторого»). Квантор существования следует отличать от квантора всеобщности, так как последнее задаёт утверждение о том, что указанное свойство или отношение выполняется для всех элементов области.
Символ (от англ. exist — ‘существовать’) для квантора существования введён итальянским математиком Джузеппе Пеано в 1897 году, а символ , обозначающий квантор всеобщности, — в 1935 году Герхардом Генценом. Концепция была предложена ранее, в 1879 году, в книге Готлоба Фреге Begriffsschrift («Исчисление понятий»).
Существует модификация этого квантора — квантор существования и единственности, являющийся предикатом свойства или отношения для одного и только одного элемента области определения. Обозначается ∃! и читается «существует и единственный».