否定声明 P. 是不是 P. 。
象征 〜 用于表示否定。
否定 P. 不是 P. 并写为 〜 P. 。
如果是陈述 P. 是的,那是它的否定 〜 P. 一定是假的。(反之亦然)。
例子 :
P. : 5. 是一个素数。
〜 P. : 5. 不是素数。