Элементарная теория множеств гласит, что множество , это совокупность объектов, обладающих общими свойствами.
Это пишется примерно так :
{a} < A (1)
( вместо "меньше" знак принадлежности, но я его фиг найду здесь)
Читается так:все элементы a принадлежат множеству A
В жизни мы можем сказать : все красные автомобили принадлежат множеству красных автомобилей.
Это выражение АБСОЛЮТНО эквивалентно следующему:
Все объекты, которые не являются красными автомобилями, не принадлежат множеству красных автомобилей.
При этом само множество A принадлежит множеству А ( это одно из элементарных следствий)
A
Не знаю, как надо думать мозгом, чтобы не увидеть следующий элементарный вывод : что А является а. Иначе А не принадлежит А.
В лингвистической форме это еще проще.
Когда мы говорим "каждый красный автомобиль является красным" , то эта фраза эквивалентна фразе "все красные автомобили являются красными" , при этом часть "все красные автомобили" является эквивалентом понятия множества в математике (именно в таком виде использовал множества Льюис Кэролл в своем логическом трактате) , а "красными" - свойством объектов. Это даже не теорема. Это тавтология. Высокоученые мужи вдруг начинают мне доказывать, что если каждый красный автомобиль является красным, то все красные автомобили не являются красными.
Фэйспалм и временный баннхаммерстрайк.
Journal information