逆否命題是什麼意思

逆否命題(inverse conditional)是邏輯學中的一個概念,它涉及到假設和結論之間的關係。一個基本的假設-結論關係可以用「如果...那麼...」的形式來表達,例如:

「如果天氣好,那麼我們去野餐。」

這個句子可以轉換成一個邏輯陳述:

前提(假設): 天氣好 結論: 我們去野餐

逆否命題則是將前提和結論都進行逆轉並否定,得到一個新的命題:

「如果天氣不好,那麼我們不去野餐。」

這個新的命題就是原命題的逆否命題。在邏輯上,逆否命題與原命題是等價的,這意味著如果原命題為真,則逆否命題也為真,反之亦然。這是由於邏輯中的排中律和對偶律所保證的。