Salve a tutti. Grazie GIMUSI per aver condiviso le risposte. Purtroppo non mi sono molto chiari un paio di punti (probabilmente più che banali), c'è qualcuno che potrebbe darmi una mano?
1)L'implicazione nella soluzione dell' es 1a 
2)Nella risoluzione del primo punto dell'esercizio 2 da quale assioma si ricava che  x=y--&gt;x+z=y+z?
grazie