否命题

在逻辑学中，否命题是通过对一个命题的直接推理得出的条件句。如果一个命题的条件和结论分别是另一个命题的条件和结论的否定，那么称这两个命题互为否命题。${\displaystyle P\rightarrow Q}$ 的否命题是${\displaystyle \neg P\rightarrow \neg Q}$ 。