记录一个简单否定的问题

从一个简单的问题记录命题的否定

命题的否定其实是对命题结果的真值进行取翻,一般流传的”只改结论”描述的并不全面

eg.“小李和小王学习努力”的否定。如果只改结论很容易就变成”小李和小王学习不努力”,但是显然这个题应该是”小李学习不努力或小王学习不努力”

怎么搞得?

假设P:小李学习努力 Q:小王学习努力

则原命题是P^Q

则命题的否定应该是-(P^Q)  ps:真值取反

即(-P v-Q)

 

 

也可以从量词的角度,设Q(x):x学习努力,论域是小李和小王

原命题就是V x Q(x)

这个命题的否定即为-VxQ(x)=Ex-Q(x)即存在一个x学习不努力,即小李或小王学习不努力。

记录一个简单否定的问题》有1个想法

评论已关闭。