Exercise
74
[1YD]Prerequisites:[1Y9],[01R]. Let’s imagine a different definition for the ordered pair, defined as
\[ ⟬x,y ⟭{\stackrel{.}{=}}\{ x,\{ x,y\} \} \quad ; \]
show that
\begin{equation} ⟬a,b⟭=⟬x,y⟭\iff (a=x∧ b=y)\quad .\label{eq:identita_ pseudocoppia} \end{equation}
75
To show it you will need [01R].
Solution
1