Logica matematica/Insiemi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 152:
# <math>\overline\overline S=S</math>;
# <math>\overline{S_1 \cup S_2}=\overline{S_1} \cap \overline{S_2}</math> (Legge di De Morgan per <math>\cup</math>);
#<math>\overline{S_1 \cap S_2}=\overline{S_1} \cup \overline{S_2}</math> (Legge di De Morgan per <math>\cap</math>);
#<math>S \cap \overline S=\emptyset</math>;
#<math>S \cup \overline S=U</math>;
#<math>S_1=S_2</math> sse <math>\overline{S_1}=\overline{S_2}</math>;
#<math>S_1 \subseteq S_2</math> sse <math>\overline{S_2} \subseteq \overline{S_1}</math>.
== Insieme potenza ==
| |||