否命题 在逻辑学中否命题英語inverse是通过对一个命题的直接推理得出的条件句如果一个命题的条件和结论分别是另一个命题的条件和结论的否定那么称这两个命题互为否命题 给予初始实质条件命题若P则Q P  Q displaystyle Pto Q 其否命题为若非P则非Q  P   Q displaystyle neg Pto neg Q