Esercizio
74
[1YD]Prerequisiti:[1Y9],[01R]. Immaginiamo una diversa definizione per la coppia ordinata, definita come
\[ ⟬x,y ⟭{\stackrel{.}{=}}\{ x,\{ x,y\} \} \quad ; \]
mostrate che
\begin{equation} ⟬a,b⟭=⟬x,y⟭\iff (a=x∧ b=y)\quad .\label{eq:identita_ pseudocoppia} \end{equation}
75
Per mostrarlo vi servirà [01R].
Soluzione
1