Законы де Моргана
Материал из Википедии — свободной энциклопедии
В логике, законы де Моргана (или правила де Моргана) — правила, связывающие пары дуальных логических операторов при помощи логического отрицания.
[править] История и определение
Огастес де Морган первоначально заметил, что в классической пропозициональной логике справедливы следующие соотношения:
- not (P and Q) = (not P) or (not Q)
- not (P or Q) = (not P) and (not Q)
Обычная запись этих законов в формальной логике:
в теории множеств:
[править] Цитаты
- "Противоречащая противоположность дизъюнктивого суждения – конъюнктивное суждение, составленное из противоречащих противоположностей частей дизъюнктивого суждения (The contradictory opposite of a disjunctive proposition is a conjunctive proposition composed of the contradictories of the parts of the disjunctive proposition)" (William of Ockham, Summa Logicae).
[править] Внешние ссылки
- Eric W. Weisstein, de Morgan's Laws на сайте MathWorld.