EDB — 269

Esercizi

1. [269]Sappiamo da [26K]↺↻ che la relazione \(n ⊆ m\) è totale in \(ℕ\). Dimostrate che

   \begin{equation} ∀ n,m∈ ℕ, n ∈ m \iff (n ⊆ m ∧ n≠ m)\quad . \label{eq:n_ in_ m_ iff_ 2} \end{equation}

   194

   Per [24K]↺↻ questo implica

   \[ ∀ n,m∈ ℕ, n ⊆ m \iff (n ∈ m \lor n= m)\quad . \]
   Soluzione 1

   [26B]↺↻