《离散数学》否定符号在量词前和量词后有什么区别?

分类: 作业答案 • 2021-12-19 10:40:29

问题描述：

答

否定符号在量词前,否定的就是这个量词.如果否定符号在存在量词前,则等价于全称量词,例如：不存在一个掉队的人,即任何人都跟上了队伍.如果否定符号在全称量词前,则等价于存在量词.
否定符号在量词后,则是对命题中谓语或表语的否定,与量词无关.如：有一个没有跟上对队伍的人.