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

[Счастье]

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

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

 

[pofig13]

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

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

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

 

[AlexZir]

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

 

[Счастье]

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

 

[George Smith]

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

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