百度作业网离散数学谓词演算小题求解
来源：学生作业帮 编辑：百度作业网作业帮 分类：数学作业 时间：2024/05/14 10:12:32
离散数学谓词演算小题求解
设论域为整数集,下列公式哪个值为真.
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,|就是否定）求具体分析步骤越详细越好,热心的好汉们help me!
设论域为整数集,下列公式哪个值为真.
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,|就是否定）求具体分析步骤越详细越好,热心的好汉们help me!
a是对的,对任意的整数x,都存在y,使得x+y=0.y就是x的相反数,当然存在了.
再问： 您能用证明或者是推理把步骤列出来吗？那为什么不选b呢？
再答： 一个很简单的命题，何须证明？
b明显是错的，存在一个y，对所有的x，都满足x+y=0，这样的x能是任意的吗？x只有一个取值-y。
再问： 您能用证明或者是推理把步骤列出来吗？那为什么不选b呢？
再答： 一个很简单的命题，何须证明？
b明显是错的，存在一个y，对所有的x，都满足x+y=0，这样的x能是任意的吗？x只有一个取值-y。