• 首页

否定

声明的否定$p$是不$p$．

符号$\sim$用来表示否定。

否定的$p$不是$p$它被写成$\sim p$．

If语句$p$是，那么它是否定的$\sim p$肯定是假的。(反之亦然)。