- E54
[23W]La notazione in [026] differisce da quella usuale, che è \(⋃_{i∈ I}C_ i\), dove \(I\) è una famiglia di indici non-vuota e \(C_ i\) sono insiemi; come visto in [1Y2].
Come potete definire \(⋃_{i∈ I}C_ i\) usando l’assioma dell’unione presentato in [026]? (Sugg. rileggete la nota [01M])
Alla fine dovreste ottenere
\begin{equation} \forall x, x\in ⋃_{i∈ I}C_ i \iff ∃ i∈ I, x\in C_ i\quad . \label{eq:unione_ simpl_ in_ logica} \end{equation}55Soluzione 1
EDB — 23W
View
Italian
Authors:
"Mennucci , Andrea C. G."
.
Managing blob in: Multiple languages