[A-L] (2023/24) Lezione 11/10/2023 - Esercizio 1

[Elia-Belli]

Esercizio 1: Dimostrare che l'operazione di somma su $\mathbb{Q}$ è ben definita, ovvero non dipende dalla scelta dei rappresentati delle classi.
Definizione $+:= [(a,b)]+[(a',b')]=[(ab'+b'a,bb')]$

Quindi dimostrare: $(a,b) \rho (c,d) \land (a',b')\rho (c',d') \Rightarrow (ab'+ba',bb') \rho (cd'+dc',dd')$

[CiottoloMaggico]