数理逻辑中一种命题连接词。用符号“﹁”表示，如﹁A即A的否定式，读作“非A”，其真假关系是：A真则﹁A假，A假则﹁A真。