邏輯學中,否命題(英語:inverse)是通過對一個命題直接推理得出的條件句。如果一個命題的條件和結論分別是另一個命題的條件和結論的否定,那麼稱這兩個命題互為否命題。

給予初始實質條件命題「若P,則Q」:,其否命題為「若非P,則非Q」

參考

參見