EDB — 01N

Esercizi

1. [01N](Svolto il 2022-10-25) Prerequisiti:[1Y9]↺↻. La coppia ordinata viene definita come

   \[ (x,y){\stackrel{.}{=}}\{ \{ x\} ,\{ x,y\} \} \quad ; \]

   (notate che l’assioma della coppia [1Y3]↺↻ ci garantisce che questa è una buona definizione); mostrate che

   \begin{equation} (a,b)=(x,y) \iff (a=x\wedge b=y)\quad .\label{eq:identita_ coppia} \end{equation}

   51

   (Prima soluzione che non usa [1Y9]↺↻)

   Soluzione 1

   [1WZ]↺↻

   )

   (Seconda soluzione che usa [1Y9]↺↻)

   Soluzione 2

   [1YC]↺↻

   )