否命題

此條目介紹的是數學邏輯的命題邏輯。關於傳統邏輯的 "inversion"，請見「換質不換位」。

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

給予初始實質條件命題「若P，則Q」：${\displaystyle P\to Q}$，其否命題為「若非P，則非Q」${\displaystyle \neg P\to \neg Q}$。

參考

參見

• 逆命題
• 逆否命題
• 換質不換位