Logica matematica/Insiemi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 150:
# <math>\overline U=\emptyset</math>;
# <math>\overline \emptyset=U</math>;
# <math>\overline\overline S=S</math> (Doppia negazione insiemistica);
# <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> (Non contraddizione insiemistica);
#<math>S \cup \overline S=U</math> (Terzo escluso insiemistico);
#<math>S_1=S_2</math> sse <math>\overline{S_1}=\overline{S_2}</math> (Tautologia della coimplicazione insiemistica);
#<math>S_1 \subseteq S_2</math> sse <math>\overline{S_2} \subseteq \overline{S_1}</math> (Corollario di simmetria).
''Dimostrazione''
| |||