Решение. Сравнивая таблицы истинности, легко установить логическую эквивалентность составных предикатов


Download 171 Kb.
bet3/4
Sana18.10.2020
Hajmi171 Kb.
#134291
TuriРешение
1   2   3   4
Bog'liq
Лекция№01



Внимательное изучение свода законов алгебры множеств (табл.3.2) позволяет заметить, что каждое из тождеств правой колонки может быть получено из соответствующего тождества левой путем замены на , на и наоборот. Такое соответствие тождеств называется законом двойственности а соответствующие тождества-двойственными друг другу.

Закон двойственности является довольно сложной теоремой алгебрым множеств. Его доказательство выходит за рамки данного простого учебника. Однако, приняв его на веру, можно упростить себе жизнь, поскольку доказав какое-то тождество множеств и обратив операции, можно обосновать и двойственное тождество.




Download 171 Kb.

Do'stlaringiz bilan baham:
1   2   3   4




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling