否定词数学逻辑中的否定词数学逻辑中一种命题连接词
用符号“﹁”（或“~”、“￣”）表示
如﹁A（或~A，A上面加上划线）即A的否定式，读作“非A”，其真假关系是：A真则﹁A假，A假则﹁A真
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
