Logica matematica/Insiemi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
correggo template e categoria |
|||
Riga 155:
# <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> (Terzo escluso insiemistico);
#<math>S_1=S_2</math> sse <math>\overline{S_1}=\overline{S_2}</math> (Tautologia della coimplicazione insiemistica);
| |||