离散高手看看,去年的系统分析员考试题目,但是我觉得有点问题。
去年系统分析员考试的一个离散的题目
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)
离散丢的深了,那位大哥还记得给我个答案,把证明过程给我。