否命題的符號

命題都有兩部分組成：條件和結論。若原命題條件為p，結論為q。那麼否命題是：若非p，則非q。為了書寫簡便，非p記p的上面加一橫線，非q在q的上面加一橫線。當然還有逆命題和逆否命題的概念。