EDB — 23T

Esercizi

1. [23T](Proposto il 2022-10-11) (Svolto il 2022-10-25) Mostrate che la definizione di intersezione [1W1]↺↻ è ben posta, usando gli assiomi Z-F. Alla fine mostrate anche che

   \begin{equation} ∀ x, x∈ ⋂_{i∈ I}C_ i \iff \left(I≠∅ ∧ ∀ i∈ I, x∈ C_ i\right)\quad . \label{eq:inters_ in_ logica} \end{equation}

   46

   Soluzione 1

   [23V]↺↻