logiikan sääntöjä From Wikipedia, the free encyclopedia
De Morganin lait ovat logiikan päättelysääntöjä.
missä:
tai joukko-opissa käytettynä:
missä:
Säännöt on nimetty kehittäjänsä Augustus De Morganin (1806–1871) mukaan.
jos ja vain jos ja .
mielivaltaiselle :lle:
:
tai
tai
Joten
:
tai
tai
Joten
ja joten
voidaan todistaa käyttämällä samanlaista menetelmää.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.