Когда же к нам придёт эта мода? - Страница 3

Счастье · 30.05.2017, 15:11

Вот википедия даже пишет)))

Цитата:

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

pofig13 · 30.05.2017, 15:20

Цитата:

Сообщение от Счастье

Вообще матан забыли уже?

Цитата:

Сообщение от AlexZir

По правилам матлогики этот участок читается как "существует не женщина"

для меня это всё вот так звучит))

AlexZir · 30.05.2017, 16:14

Наташа, матан и матлогика немного разные науки, я же специально уточнил

Счастье · 30.05.2017, 17:00

Сорри, я учила только матан когда-то)))

George Smith · 30.05.2017, 17:29

Цитата:

Сообщение от AlexZir

По правилам матлогики этот участок читается как "существует не женщина"

Чукча тоже об этом подумал, однако ...

30.05.2017, 16:14	#23 (permalink)
AlexZir support Регистрация: 19.08.2007 Адрес: Зея Сообщений: 15,797 Записей в дневнике: 71 Сказал(а) спасибо: 166 Поблагодарили 203 раз(а) в 86 сообщениях Репутация: 75760	Наташа, матан и матлогика немного разные науки, я же специально уточнил __________________ Убить всех человеков!

30.05.2017, 17:00	#24 (permalink)
Счастье Не очень хороший человек Регистрация: 01.12.2012 Сообщений: 6,155 Записей в дневнике: 18 Сказал(а) спасибо: 1,305 Поблагодарили 755 раз(а) в 231 сообщениях Репутация: 98885	Сорри, я учила только матан когда-то))) __________________ Все будет хорошо.

Ads
Яндекс Member Регистрация: 31.10.2006 Сообщений: 40200 Записей в дневнике: 0 Сказал(а) спасибо: 0 Поблагодарили 0 раз(а) в 0 сообщениях Репутация: 55070