2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Такое вот составное число
Сообщение21.05.2018, 20:37 
Заслуженный участник
Аватара пользователя


26/01/14
4606
Ktina в сообщении #1313902 писал(а):
Например, из утверждения "там, где не пройдут танки, пройдёт пехота" следует утверждение "там, где не пройдёт пехота, пройдут танки".
kotenok gav в сообщении #1313922 писал(а):
Откуда???
А ведь действительно следует. Причём в обе стороны. Слово "там" в этих утверждениях я понимаю как "везде, где".
"Везде, где не пройдут танки, пройдёт пехота" = "Везде, где не пройдёт пехота, пройдут танки" = "Везде пройдут танки или пехота".

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

 Профиль  
                  
 
 Re: Такое вот составное число
Сообщение21.05.2018, 23:07 
Аватара пользователя


01/12/11

8634
kotenok gav в сообщении #1313922 писал(а):
Ktina в сообщении #1313902 писал(а):
Например, из утверждения "там, где не пройдут танки, пройдёт пехота" следует утверждение "там, где не пройдёт пехота, пройдут танки".

Откуда???

topic37947.html

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 17 ]  На страницу Пред.  1, 2

Модератор: Модераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group