Prawa De Morgana – twierdzenia w logice matematycznej i teorii mnogości. Od nazwiska Augusta De Morgana, angielskiego matematyka.
I prawo De Morgana Prawo zaprzeczania koniunkcji: negacja koniunkcji jest równoważna alternatywie negacji,
gdzie p i q oznaczają zdania w sensie logiki.
II prawo De Morgana Prawo zaprzeczenia alternatywy: negacja alternatywy jest równoważna koniunkcji negacji;
Prawa umożliwiają definiowanie jednych spójników zdaniowych za pomocą innych. Na przykład, korzystając z koniunkcji i negacji, za pomocą prawa podwójnej negacji można określić alternatywę:
Prawa De Morgana – twierdzenia w logice matematycznej i teorii mnogości. Od nazwiska Augusta De Morgana, angielskiego matematyka.
gdzie p i q oznaczają zdania w sensie logiki.
II prawo De Morgana Prawo zaprzeczenia alternatywy: negacja alternatywy jest równoważna koniunkcji negacji;Prawa umożliwiają definiowanie jednych spójników zdaniowych za pomocą innych. Na przykład, korzystając z koniunkcji i negacji, za pomocą prawa podwójnej negacji można określić alternatywę: