Викия

Математика

Законы де Моргана

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Share

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

Законы де Моргана (правила де Моргана) — логические правила, связывающие пары дуальных логических операторов при помощи логического отрицания.

История и определение Править

Огастес де Морган первоначально заметил, что в классической пропозициональной логике справедливы следующие соотношения:

not (P and Q) = (not P) or (not Q)
not (P or Q) = (not P) and (not Q)

Обычная запись этих законов в формальной логике:

\neg(P\wedge Q)=(\neg P)\vee(\neg Q),
\neg(P\vee Q)=(\neg P)\wedge(\neg Q),

в теории множеств:

(A\cap B)^C=A^C\cup B^C,
(A\cup B)^C=A^C\cap B^C.

Цитаты Править

  • «Противоречащая противоположность дизъюнктивого суждения — конъюнктивное суждение, составленное из противоречащих противоположностей частей дизъюнктивого суждения (The contradictory opposite of a disjunctive proposition is a conjunctive proposition composed of the contradictories of the parts of the disjunctive proposition)» (Уильям Оккам, Summa Logicae).

Внешние ссылки Править

is:De Morgan reglanlt:Dualioji funkcija nl:Wetten van De Morgan pl:Prawa De Morganask:De Morganove zákony sv:De Morgans lagar th:กฎเดอมอร์แกน vi:Luật De Morgan

Викия-сеть

Случайная вики