从一个简单的问题记录命题的否定
命题的否定其实是对命题结果的真值进行取翻,一般流传的”只改结论”描述的并不全面
eg.“小李和小王学习努力”的否定。如果只改结论很容易就变成”小李和小王学习不努力”,但是显然这个题应该是”小李学习不努力或小王学习不努力”
怎么搞得?
假设P:小李学习努力 Q:小王学习努力
则原命题是P^Q
则命题的否定应该是-(P^Q) ps:真值取反
即(-P v-Q)
也可以从量词的角度,设Q(x):x学习努力,论域是小李和小王
原命题就是V x Q(x)
这个命题的否定即为-VxQ(x)=Ex-Q(x)即存在一个x学习不努力,即小李或小王学习不努力。