Prawa De Morgana
reguły w logice i teorii mnogości / Z Wikipedii, wolnej encyclopedia
Drogi AI, mówmy krótko, odpowiadając po prostu na te kluczowe pytania:
Czy możesz wymienić najważniejsze fakty i statystyki dotyczące Prawa De Morgana?
Podsumuj ten artykuł dla 10-latka
POKAŻ WSZYSTKIE PYTANIA
Prawa De Morgana – zestaw reguł w logice matematycznej i teorii mnogości wiążących ze sobą pary spójników, kwantyfikatorów lub działań na zbiorach za pomocą negacji lub funkcji dopełnienia zbioru. Prawa te są twierdzeniami w niektórych teoriach formalnych, np. w logice klasycznej, lub aksjomatami definiującymi niektóre struktury jak algebry De Morgana.
Prawa te sformułował angielski matematyk Augustus De Morgan w XIX wieku.