Algebra 1/Insiemi Logica Relazioni/Insiemi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 334:
== Leggi di De Morgan ==
Dati due insiemi <math>A</math> e <math>B</math> ci sono alcune proprietà, dette ''leggi di De Morgan''<ref>dal nome del matematico e logico britannico Augustus De Morgan (1806 - 1871).
</ref>, che semplificano lo svolgimento di alcune operazioni:
* <math>\overline{A\cap B}=\overline{A}\cup \overline{B}</math>: ''Prima legge di De Morgan'';
* <math>\overline{A\cup B}=\overline{A}\cap \overline{B}</math>: ''Seconda legge di De Morgan''.
Dimostriamo la prima legge di De Morgan utilizzando i diagrammi di Eulero-Venn.
[[File:Algebra1 ins fig017 dem.svg|center|Rappresentazione insiemistica delle leggi di De Morgan]]
== Partizione di un insieme ==
| |||