Алгебра множеств
Из операций, о которых шла речь в предыдущем уроке, можно вы вести многочисленные свойства множеств. Некоторые из них кажутся очевидными, другие-меньше, но все требуют доказательства. Доказательства будут основываться на соответствии между операциями на множествах и логическими операциями над предикатами, которое отражено в табл.3.1.
Пример1. Докажите, что для любых множеств А и В имеет место соотношение:  .
Решение.
Сравнивая таблицы истинности, легко установить логическую эквивалентность составных предикатов:
Do'stlaringiz bilan baham: |
