A equivale a:  esiste un y tale che per ogni z  y+z=0 (falso: y+z=0 solo se z = -y)
B equivale a:  per ogni x e ogni z  x+z=0 (falso: x+z=0 solo se z = -x)
C equivale a:  per ogni x esiste un y tale che  x+y=0 (vero: basta prendere y = -x))
D equivale a:  esiste un y tale che per ogni z  y·z=1 (falso: y·z=1 solo se z = 1/y)