Logica matematica/Insiemi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 164:
#<math>\overline\overline S=\{x|x \in U\ e\ x \not\in \overline S\}=\{x|x \in U\ e\ x \not\in \{x|x \in U\ e\ x \not\in S\}\}=\{x|x \in U\ e\ non(x \in \{x|x \in U\ e\ x \not\in S\})\}=</math><math>=\{x|x \in U\ e\ non(x \in U\ e\ x \not\in S)\}=\{x|x \in U\ e\ (x \not\in U\ oppure\ x \in S)\}=\{x|(x \in U\ e\ x \not\in U)\ oppure\ (x \in U\ e\ x \in S)\}=</math><math>=\{x|x \in U\ e\ x \in S\}=U \cap S</math>; dato che <math>S \subseteq U</math>, abbiamo che <math>U \cap S=S</math>;
#<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> ;
== Insieme potenza ==
| |||