Такое вот составное число

[Mikhail_K]

Ktina в сообщении #1313902 писал(а):

Например, из утверждения "там, где не пройдут танки, пройдёт пехота" следует утверждение "там, где не пройдёт пехота, пройдут танки".

kotenok gav в сообщении #1313922 писал(а):

Откуда???

А ведь действительно следует. Причём в обе стороны. Слово "там" в этих утверждениях я понимаю как "везде, где".
"Везде, где не пройдут танки, пройдёт пехота" = "Везде, где не пройдёт пехота, пройдут танки" = "Везде пройдут танки или пехота".

Если $M$ - множество мест, где пройдут танки, а $N$ - множество мест, где пройдёт пехота, то первое утверждение означает, что $\overline{M}\subset N$ (черта означает дополнение к множеству); второе означает, что $\overline{N}\subset M$. Они получаются друг из друга эквивалентным преобразованием: взятием дополнения от обеих частей с переворачиванием знака $\subset$.

[Ktina]

kotenok gav в сообщении #1313922 писал(а):

Ktina в сообщении #1313902 писал(а):

Например, из утверждения "там, где не пройдут танки, пройдёт пехота" следует утверждение "там, где не пройдёт пехота, пройдут танки".

Откуда???

topic37947.html