Автор Тема: Дискретная математика. Доказать тождество методом двух включений  (Прочитано 7407 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн xlmax

  • Пользователь
  • **
  • Сообщений: 53
    • Просмотр профиля
Доказать тождество методом двух включений

\( A|(B \bigcup  C)=(A|B)\bigcap (A|C) \)

Не знаю даже с чего начать. Другими методами доказал, а тут...

Напрашивается написать что-то тривиальное, типа пусть \( a \epsilon  A \), тогда из \( A|(B \bigcup  C) \) следует, что a не принадлежит В и не принадлежит С. Но по-моему это какой-то бред  :P
Всегда под рукой шпора по LaTeX ссылка