离散高手看看,去年的系统分析员考试题目,但是我觉得有点问题。

fullsail 2003-10-09 07:24:17
去年系统分析员考试的一个离散的题目
http://redsoft.nease.net/bkit38.htm
●下列断言中正确的是__(58)__。答案是A.
A. Vx(P(x) -> Q(x)) <==> VxP(x) ->VxQ(x)
V在这儿表示全称量词。
我看了答案后面的证明是一个推理过程,(这应该是一个永真式,这么用推理?),是不是搞错了?是不是应该是
Vx(P(x) -> Q(x)) ==> VxP(x) ->VxQ(x)

离散丢的深了,那位大哥还记得给我个答案,把证明过程给我。
...全文
67 13 打赏 收藏 转发到动态 举报
写回复
用AI写文章
13 条回复
切换为时间正序
请发表友善的回复…
发表回复
ChinaSea3003 2003-10-19
  • 打赏
  • 举报
回复
up
fullsail 2003-10-18
  • 打赏
  • 举报
回复
如果Vx(P(x) -> Q(x)) ==> VxP(x) ->VxQ(x) 是蕴涵式,但不是等价式
那么这道题目就错了,

其实程序员的考试错误很多,但一般都是概念比较独断,但这样的问题也错就不应该了。
Peterwby 2003-10-18
  • 打赏
  • 举报
回复
一本离散书上说:Vx(P(x) -> Q(x)) ==> VxP(x) ->VxQ(x) 是蕴涵式,但不是等价式
slovel 2003-10-18
  • 打赏
  • 举报
回复
我上学期离散60……
fullsail 2003-10-10
  • 打赏
  • 举报
回复
期待有人指点。
leweizhen 2003-10-09
  • 打赏
  • 举报
回复
哎!上个学期才学的!
fullsail 2003-10-09
  • 打赏
  • 举报
回复
说错了,水平不够不能证明是等价的。
fullsail 2003-10-09
  • 打赏
  • 举报
回复
那个老兄指点一下。我认为是错了。但水平不够又不等价的。
C723 2003-10-09
  • 打赏
  • 举报
回复
看着就头疼
ezhou 2003-10-09
  • 打赏
  • 举报
回复
汗~都忘光了。
locky1982 2003-10-09
  • 打赏
  • 举报
回复
应该不会的
prettyladys 2003-10-09
  • 打赏
  • 举报
回复
我也想考。。但高数实在不行啊。。哎
prettyladys 2003-10-09
  • 打赏
  • 举报
回复
离散数学?

分析员。要学多少高数的东西?

69,371

社区成员

发帖
与我相关
我的任务
社区描述
C语言相关问题讨论
社区管理员
  • C语言
  • 花神庙码农
  • 架构师李肯
加入社区
  • 近7日
  • 近30日
  • 至今
社区公告
暂无公告

试试用AI创作助手写篇文章吧