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)