就是命题的否定。
数学中的否定：
“都是”的否定：假如有三个人，那么情况分为：一个人是，两个人是，三个人是（都是），0个人是（都不是）
那么“都是”的否定即是排除了三个人的情况，那么就是“不都是”（从字面上理解也知道肯定是不都是咯- -!）
所有的否定是“不是所有”，用某些也可以（前提是某些包括0）
大于-不大于（小于等于）
小于-不小于（大于等于）
都是-不都是
都不是-至少有一个是
至少n个-至多n-1个
至多n个-至少n+1个
否定形式是什么意思
一种可以说成是否定的这种形式，比如说语法中的否定形式。另外一种可以说成是否定形式主义，走过场要真抓实干。
否定就是不认可。否定形式就是不认可只走形式做法。
