Доказать тождество Путем включения сначала левой части в правую , а потом правой части в левую
Дискретная математика
1) АB=A(A/B)
2) A(BC)=(AB)/(A/C)
Ответы
Ответ дал:
0
Как я понимаю, нельзя просто преобразовать выражения и показать их равенства, а надо долго и пространно рассуждать.
Итак, пусть х ∈ AB (это кстати просто разность множеств, не симметрическая). Тогда из свойств операций над множествами верно, что х ∈ А ∩ -B (буду обозначать отрицание минусом). Теперь посмотрим на правую часть. Пусть х ∈ А(А∩В), отсюда опять же верно, что х ∈ А ∩ х ∈ -(А∩В), или же по закону де Моргана х ∈ А ∩ х ∈ -А∪-В, или же х ∈ А ∩ (х ∈ -А ∪ х ∈ -В), или же по принципу дистрибутивности (х ∈ А ∩ х ∈ -А) ∪ (х ∈ А ∩ х ∈ -В), и отсюда наконец по принципу дополнения х ∈ ∅ ∪ х ∈ А ∩ -В, и по свойству нуля х ∈ А ∩ -В. Как мы видим, левая часть в этом смысле идентична правой. То есть в принципе уже равенство верно. Наверное, предполагается, что сначала надо из левой части вывести правую, а потом наоборот. Тут надо будет просто продолжить этот ряд операций в другую сторону, если действительно надо.
2) Метод, конечно, какая-то жесть в смысле записи, поэтому я просто преобразую левую часть в правую и потом наоборот как логические выражения без упоминания ссылок на конкретные свойства.
A(BC)=(AB)/(A/C)
Работаем с левой частью:
A(BC) = А ∩ -(ВС) = А ∩ -(В∩-С) = А ∩ (-В ∪ С) = (А ∩ -В) ∪ (А ∩ С) = (АВ) ∪ (А ∩ С) - вывели правую. Из правой левую - повторяем всю цепочку действий, но наоборот.
А в конце для проверки диаграммы.
Итак, пусть х ∈ AB (это кстати просто разность множеств, не симметрическая). Тогда из свойств операций над множествами верно, что х ∈ А ∩ -B (буду обозначать отрицание минусом). Теперь посмотрим на правую часть. Пусть х ∈ А(А∩В), отсюда опять же верно, что х ∈ А ∩ х ∈ -(А∩В), или же по закону де Моргана х ∈ А ∩ х ∈ -А∪-В, или же х ∈ А ∩ (х ∈ -А ∪ х ∈ -В), или же по принципу дистрибутивности (х ∈ А ∩ х ∈ -А) ∪ (х ∈ А ∩ х ∈ -В), и отсюда наконец по принципу дополнения х ∈ ∅ ∪ х ∈ А ∩ -В, и по свойству нуля х ∈ А ∩ -В. Как мы видим, левая часть в этом смысле идентична правой. То есть в принципе уже равенство верно. Наверное, предполагается, что сначала надо из левой части вывести правую, а потом наоборот. Тут надо будет просто продолжить этот ряд операций в другую сторону, если действительно надо.
2) Метод, конечно, какая-то жесть в смысле записи, поэтому я просто преобразую левую часть в правую и потом наоборот как логические выражения без упоминания ссылок на конкретные свойства.
A(BC)=(AB)/(A/C)
Работаем с левой частью:
A(BC) = А ∩ -(ВС) = А ∩ -(В∩-С) = А ∩ (-В ∪ С) = (А ∩ -В) ∪ (А ∩ С) = (АВ) ∪ (А ∩ С) - вывели правую. Из правой левую - повторяем всю цепочку действий, но наоборот.
А в конце для проверки диаграммы.
Приложения:
![](https://st.uroker.com/files/adb/adb4c47421f87bbda1e86c26f69e7004.png)
Ответ дал:
0
Эх, ничего не понимаю
Ответ дал:
0
Мне другой человек сделал по-другому
Ответ дал:
0
Я про этот метод первый раз слышу и ничего внятного найти не смог, так что не претендую)
Вас заинтересует
1 год назад
5 лет назад
5 лет назад
8 лет назад
8 лет назад
8 лет назад