mais svp j'ai rien pigé aider moi sur ces trus je vai etre noté de plus ele nous donner un autre exercice je suis forte pour d'autre truc mais pour la logique je ne comprend pas grand chose ou peut etre rien (et meme si j'ai fait je c'es juste deux mots pour chak ex)svp aider moi avant demain matin et je vous en remercie d'avance :
ex4:
un groupe ablien est un ensemble A,muni d'un operateur binaire + qui verifie certaines proprietes.
p(x,y,z) et t(x,y) representent respectivement x+y=z et x=y
representer symboliquement les axiomes du groupe abélien :
A1 : pour chaque x et y dans A il existe un z telque x+y=z
A2 si x+y=z et x+y=w alors z=w
A3 (x+y)+z = x+(y+z)
A4 x+y=y+x
A5 pour chauqe x et y dans A il existe un z telque x+z=y

svp e vous en pri aider moi