Logica matematica/Insiemi: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 165:
#<math>\overline{S_1 \cup S_2}=\{x|x \in U\ e\ x \not\in (S_1 \cup S_2)\}=\{x|x \in U\ e\ non(x \in \{x|x \in S_1\ oppure\ x \in S_2\})\}=\{x|x \in U\ e\ non(x \in S_1\ oppure\ x \in S_2)\}=</math> <math>=\{x|x \in U\ e\ (x \not\in S_1\ e\ x \not\in S_2)\}=\{x|x \in U\ e\ x \not\in S_1\ e\ x \in U\ e\ x \not\in S_2\}=\{x|x \in U\ e\ x \not\in S_1\} \cap \{x|x \in U\ e\ x \not\in S_2\}=\overline {S_1} \cap \overline {S_2}</math>;
#<math>\overline{S_1 \cap S_2}=\{x|x \in U\ e\ x \not\in (S_1 \cap S_2)\}=\{x|x \in U\ e\ non(x \in \{x|x \in S_1\ e\ x \in S_2\})\}=\{x|x \in U\ e\ non(x \in S_1\ e\ x \in S_2)\}=</math> <math>=\{x|x \in U\ e\ (x \not\in S_1\ oppure\ x \not\in S_2)\}=\{x|(x \in U\ e\ x \not\in S_1)\ oppure\ (x \in U\ e\ x \not\in S_2)\}=\{x|x \in U\ e\ x \not\in S_1\} \cup \{x|x \in U\ e\ x \not\in S_2\}=</math><math>=\overline {S_1} \cup \overline {S_2}</math> ;
#<math>S \cap \overline S=\{x|x \in S\ e\ x \in \overline S\}=\{x|x \in S\ e\ (x \in \{x|x \in U\ e\ x \not\in S\})\}=\{x|x \in S\ e\ (x \in U\ e\ x \not\in S)\}=</math> <math>=\{x|x \in S\ e\ x \in U\ e\ x \not\in S\}=\emptyset</math>;
#<math>S \cup \overline S=\{x|x \in S\ oppure\ x \in \overline S\}=\{x|x \in S\ oppure\ (x \in \{x|x \in U\ e\ x \not\in S\})\}=\{x|x \in S\ oppure\ (x \in U\ e\ x \not\in S)\}=</math> <math>=\{x|(x \in S\ oppure\ x \in U)\ e\ (x \in S\ oppure\ x \not\in S)\}=\emptyset</math>; dato che <math>S \subseteq U</math>, abbiamo che<math>\{x|(x \in S\ oppure\ x \in U)\ e\ (x \in S\ oppure\ x \not\in S)\}=\{x|x \in U\ e\ (x \in S\ oppure\ x \not\in S)\}</math>; Dato che <math>(x \in S\ oppure\ x \not\in S)</math> è una tautologia classica, deduciamo che <math>\{x|x \in U\ e\ (x \in S\ oppure\ x \not\in S)\}=\{x|x \in U\}=U</math>;
 
== Insieme potenza ==