离散数学谓词演算小题求解
设论域为整数集,下列公式哪个值为真.
a)(Vx)(存在y)(x+y=0);
b)(存在y)(Vx)(x+y=0);
c)(Vx)(vy)(x+y=0);
d)|(存在x)(|y)(x+y=0);
选什么呢(v是所有的意思,存在就是反写E,|就是否定)求具体分析步骤越详细越好,热心的好汉们helpme!