存在量词,全称量词的问题

问题描述:

存在量词,全称量词的问题
∀x ∃y,x+y=0为True
∃y ∀x,x+y=0为False
domain是Z

首先要搞清楚先后顺序,第一个是说,对任意的x 都有一个y
就是一对一的关系:有一个x就有一个y 实际上找到的这个y就是-x
第二个是说存在一个y对任意的x 是一个一对多的关系,也就是说对于某一个y0,它和所有的x都满足y0+x=0,这显然是不可能的