Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

RFpro.ru: Консультации по математике


РАССЫЛКИ ПОРТАЛА RFPRO.RU

Лучшие эксперты в разделе

Алексеев Владимир Николаевич
Статус: Мастер-Эксперт
Рейтинг: 322
∙ повысить рейтинг »
epimkin
Статус: Профессионал
Рейтинг: 110
∙ повысить рейтинг »
CradleA
Статус: Мастер-Эксперт
Рейтинг: 52
∙ повысить рейтинг »

Математика

Номер выпуска:3069
Дата выхода:31.05.2022, 20:15
Администратор рассылки:Коцюрбенко Алексей Владимирович (Старший модератор)
Подписчиков / экспертов:24 / 137
Вопросов / ответов:1 / 1

Консультация # 202929: Здравствуйте, уважаемые эксперты! Прошу вас помочь с доказательством тождества по дискретке. А\(В ? С) = (А\В) ? (А\С) ...

Консультация # 202929:

Здравствуйте, уважаемые эксперты! Прошу вас помочь с доказательством тождества по дискретке.
А\(В ? С) = (А\В) ? (А\С)

Дата отправки: 26.05.2022, 19:47
Вопрос задал: y.kharitonova42 (Посетитель)
Всего ответов: 1
Страница онлайн-консультации »


Консультирует Гордиенко Андрей Владимирович (Мастер-Эксперт):

Здравствуйте, y.kharitonova42!

Согласно Вашему сообщению в мини-форуме консультации, требуется доказать, что

А\(В пересекает С) = (А\В) объединяет (А\С)


или, в символах теории множеств, что A\(B∩C)=(A\B)∪(A\C).

Обозначим множество в левой части тождества через X1, а множество в правой части тождества -- через X2. Докажем, что X1=X2, то есть эти множества совпадают.

Пусть элемент x принадлежит множеству X1. Тогда он принадлежит множеству A и не принадлежит общей части, или пересечению, множеств B и C. Значит, он принадлежит дополнению пересечения множеств B и C, или множеству ¬(B∩C), которое, согласно закону де Моргана, тождественно множеству (¬B)∪(¬C). Значит, элемент x принадлежит множеству A и хотя бы одному из множеств (¬B) и (¬C) (одному из них или обоим сразу). А это значит, что элемент x принадлежит объединению множеств (A∩(¬B)) и (A∩(¬C). Все элементы первого из этих множеств не принадлежат множеству B, все элементы второго из этих множеств не принадлежат множеству C. Поэтому элемент x принадлежит объединению множеств A\B и A\C, или множеству X2=(A\B)∪(A\C). Тем самым доказано, что множество X1 является подмножеством множества X2.

Обратно, пусть элемент x принадлежит множеству X2. Тогда он принадлежит множеству A и не принадлежит множеству B или принадлежит множеству A и не принадлежит множеству C, то есть этот элемент принадлежит множеству A и не принадлежит о бъединению множеств B и C. Значит, он не принадлежит и пересечению множеств B и C. Тем самым доказано, что элемент x принадлежит множеству X1=A\(B∩C), или множество X2 является подмножеством множества X1.

В силу того, что множества X1 и X2 по доказанному являются подмножествами друг друга, они совпадают. А это и требовалось доказать.

Я помог Вам, чем мог. Кто может, пусть сделает это лучше. smile

Консультировал: Гордиенко Андрей Владимирович (Мастер-Эксперт)
Дата отправки: 27.05.2022, 19:52 нет комментария
-----
Дата оценки: 29.05.2022, 20:18

Рейтинг ответа:

НЕ одобряю +1 одобряю!


Оценить выпуск | Задать вопрос экспертам

главная страница  |  стать участником  |  получить консультацию
техническая поддержка

Дорогой читатель!
Команда портала RFPRO.RU благодарит Вас за то, что Вы пользуетесь нашими услугами. Вы только что прочли очередной выпуск рассылки. Мы старались. Пожалуйста, оцените его. Если совет помог Вам, если Вам понравился ответ, Вы можете поблагодарить автора - для этого в каждом ответе есть специальные ссылки. Вы можете оставить отзыв о работе портале. Нам очень важно знать Ваше мнение. Вы можете поближе познакомиться с жизнью портала, посетив наш форум, почитав журнал, который издают наши эксперты. Если у Вас есть желание помочь людям, поделиться своими знаниями, Вы можете зарегистрироваться экспертом. Заходите - у нас интересно!
МЫ РАБОТАЕМ ДЛЯ ВАС!


В избранное