逆否是什麼意思

在邏輯學中，逆否（inverse denial）是一個邏輯運算，它將一個命題的條件和結論分別進行逆轉並否定。具體來說，如果一個命題是 A → B，那麼它的逆否是 ¬B → ¬A。這裡，¬ 表示否定，→ 表示假言推理（如果...則...）。

逆否法則在邏輯上是成立的，這意味著如果一個命題是真實的，那麼它的逆否也一定是真實的。這個法則通常被表述為：

如果 A → B 是真的，那麼 ¬B → ¬A 也是真的。

逆否法則在邏輯推理中非常有用，它允許我們將一個命題轉換為一個等價的命題，而無需改變原命題的真實性。這有助於我們在不同的情境下使用相同的邏輯關係，或者在命題的條件和結論發生變化時保持邏輯的一致性。