Ero sivun ”De Morganin lait” versioiden välillä
Siirry navigaatioon
Siirry hakuun
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
p r2.7.1) (Botti muokkasi: zh:德摩根定律 |
p r2.7.1) (Botti muokkasi: is:De Morgan-reglan |
||
Rivi 83: | Rivi 83: | ||
[[fr:Lois de De Morgan]] |
[[fr:Lois de De Morgan]] |
||
[[ko:드 모르간의 법칙]] |
[[ko:드 모르간의 법칙]] |
||
[[is:De Morgan |
[[is:De Morgan-reglan]] |
||
[[it:Teoremi di De Morgan]] |
[[it:Teoremi di De Morgan]] |
||
[[he:כללי דה מורגן]] |
[[he:כללי דה מורגן]] |
Versio 29. elokuuta 2011 kello 12.33
De Morganin lait ovat logiikan päättelysääntöjä.
missä:
- negaatio (ei)
- konjunktio (ja)
- disjunktio (tai)
- ekvivalenssi (jos ja vain jos)
tai joukko-opissa käytettynä:
missä:
- on :n komplementtijoukko
- on leikkaus (ja)
- on yhdiste tai unioni (tai)
Säännöt on nimetty löytäjänsä Augustus De Morganin (1806–1871) mukaan.
Todistus
jos ja vain jos ja .
mielivaltaiselle x:lle:
:
tai
tai
Joten
:
tai
tai
Joten
ja joten
voidaan todistaa käytämällä samanlaista menetelmää.