摘自离散数学及其应用：令p为一命题,则p的否定表示为‘非’没发完…，接着表示为“非”p，（那个符号打不出来），指“不是p所说的情形”。命题‘非’p读做“非p”。非p的真值和p的真值相反。