否命题的符号

命题都有两部分组成：条件和结论。若原命题条件为p，结论为q。那么否命题是：若非p，则非q。为了书写简便，非p记p的上面加一横线，非q在q的上面加一横线。当然还有逆命题和逆否命题的概念。