问题标题：
离散数学谓词演算小题求解设论域为整数集,下列公式哪个值为真.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,|就是否定
问题描述：
离散数学谓词演算小题求解
设论域为整数集,下列公式哪个值为真.
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!
阮跃华回答：
a是对的,对任意的整数x,都存在y,使得x+y=0.y就是x的相反数,当然存在了.
谈民回答：
您能用证明或者是推理把步骤列出来吗？那为什么不选b呢？
阮跃华回答：
一个很简单的命题，何须证明？
b明显是错的，存在一个y，对所有的x，都满足x+y=0，这样的x能是任意的吗？x只有一个取值-y。
点击显示
数学推荐
热门数学推荐