一、模式介紹
逆否命題是條件句邏輯中非常重要的檢驗工具。
如果原命題是：
若 S，則 P。
它的逆否命題是：
若非 P，則非 S。
兩者在形式邏輯上等價。
例如：
若下雨，則地板會濕。
逆否命題是：若地板沒有濕，則沒有下雨。
檔案中也提到，「若 P 則 Q」與「若非 Q 則非 P」在邏輯上等價，並用下雨、颱風假與公車例題說明。
在辯論中，逆否命題可以用來檢查對方論點是否穩固。
二、基本攻防矩陣
| 原命題 | 逆否命題 | 用途 |
|---|---|---|
| 若 S，則 P | 若非 P，則非 S | 檢查條件是否可靠 |
| 若政策有效，則指標改善 | 若指標未改善，則政策可能無效 | 驗證政策效果 |
| 若系統安全，則重大事故不應發生 | 若重大事故發生，則安全主張需重查 | 檢查企業聲明 |
| 若符合標準，則可進入市場 | 若不可進入市場，則可能未符合標準 | 合規判斷 |
| 若投資成功，則收益應提高 | 若收益未提高，則成功主張可疑 | 投資評估 |
三、國際案例一：CBAM 合規與歐盟市場准入
案例說明
歐盟 CBAM 自 2023 年 10 月起進入過渡期，進口商需申報特定產品的內含碳排資料，並自 2026 年起逐步產生財務義務。Reuters 2026 年說明，CBAM 是對來自碳規範較弱國家的進口商品課徵邊境碳成本。
可以建立原命題：
若企業符合 CBAM 資料與合規要求，則較能穩定進入歐盟市場。
逆否檢驗則是：