Доказать тождество Путем включения сначала левой части в правую , а потом правой части в левую
Дискретная математика
1) А\B=A\(A/\B)
2) A\(B\C)=(A\B)\/(A/\C)

Эх, ничего не понимаю

Мне другой человек сделал по-другому

Я про этот метод первый раз слышу и ничего внятного найти не смог, так что не претендую)

Как я понимаю, нельзя просто преобразовать выражения и показать их равенства, а надо долго и пространно рассуждать.Итак, пусть х ∈ A\B (это кстати просто разность множеств, не симметрическая). Тогда из свойств операций над множествами верно, что х ∈ А ∩ -B (буду обозначать отрицание минусом). Теперь посмотрим на правую часть. Пусть х ∈ А\(А∩В), отсюда опять же верно, что х ∈ А ∩ х ∈ -(А∩В), или же по закону де Моргана х ∈ А ∩ х ∈ -А∪-В, или же х ∈ А ∩ (х ∈ -А ∪ х ∈ -В), или же  по принципу дистрибутивности (х ∈ А ∩ х ∈ -А) ∪ (х ∈ А ∩ х ∈ -В), и отсюда наконец по принципу дополнения х ∈ ∅ ∪ х ∈ А ∩ -В, и по свойству нуля х ∈ А ∩ -В. Как мы видим, левая часть в этом смысле идентична правой. То есть в принципе уже равенство верно. Наверное, предполагается, что сначала надо из левой части вывести правую, а потом наоборот. Тут надо будет просто продолжить этот ряд операций в другую сторону, если действительно надо.2) Метод, конечно, какая-то жесть в смысле записи, поэтому я просто преобразую левую часть в правую и потом наоборот как логические выражения без упоминания ссылок на конкретные свойства.A\(B\C)=(A\B)\/(A/\C)Работаем с левой частью:A\(B\C) = А ∩ -(В\С) = А ∩ -(В∩-С) = А ∩ (-В ∪ С) = (А ∩ -В) ∪ (А ∩ С) = (А\В) ∪ (А ∩ С) - вывели правую. Из правой левую - повторяем всю цепочку действий, но наоборот.А в конце для проверки диаграммы.