非

相关tags:

非名词解释：数理逻辑^*中一种实现否定的命题连接词,或实现否定的一种逻辑运算。若P为命题,当P为真时,P的“非”为假;当P为假时,P的“非”为真。P的“非”可用 P表示,～P,P,P′表示,读为非P。把命题的条件与结论,都换成否定,就构成否命题^*。