当前位置 :
离散数学谓词演算小题求解设论域为整数集,下列公式哪个值为真.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,|就是否定
3人问答
问题描述:

离散数学谓词演算小题求解

设论域为整数集,下列公式哪个值为真.

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。
数学推荐
最新更新
PC端 | 移动端 | mip端
字典翻译(zidianfy.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 字典翻译 zidianfy.com 版权所有 闽ICP备2022014709号-7
lyric 頭條新聞