Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Квантор существования

Из Википедии — свободной энциклопедии

Символы со сходным начертанием: Ǝ ·

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

Символ (англ. exist — существовать) для квантора существования введён итальянским математиком Джузеппе Пеано в 1897 году, а символ , обозначающий квантор всеобщности, — в 1935 году Герхардом Генценом. Концепция была предложена ранее, в 1879 году, в книге Готлоба Фреге Begriffsschrift («Исчисление понятий»)[1].

Существует модификация этого квантора — квантор существования и единственности, являющийся предикатом свойства или отношения для одного и только для одного элемента области определения. Обозначается ∃! и читается «существует и единственный».

Варианты чтения

Выражение читается так:

  • существует [значение] из такое, что [истинно];
  • по крайней мере для некоторых [значений] , принадлежащих , [истинно];
  • существует элемент множества , обладающий свойством ;
  • по крайней мере (хотя бы) один элемент множества обладает свойством ;
  • некоторые элементы множества обладает свойством ;
  • найдётся такое из , что истинно.

Кодировка

Графема Название Юникод HTML LaTeX
THERE EXISTS U+2203 \exists
THERE DOES NOT EXIST U+2204 \nexists

См. также

Примечания

  1. Gottlob Frege. Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle, 1879.
Эта страница в последний раз была отредактирована 23 ноября 2019 в 19:06.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).