否命題

在邏輯學中 ， 否命題  是通過對一個命題的直接推理得出的條件句 。 如果一個命題的條件和結論分別是另一個命題的條件和結論的否定 ， 那麼稱這兩個命題互爲否命題 。 給予初始實質條件命題 “ 若P ， 則Q ” ： ， 其否命題爲 “ 若非P ， 則非Q ” 。