否定後件

說明

有一個條件句條件句 Conditional「如果 P，那麼 Q」形式的陳述，符號寫成 P→Q。看名詞表關閉「如果 P，那麼 Q」，又知道後件後件 Consequent條件句「如果 P，那麼 Q」中「那麼」後面的部分，也就是 Q。看名詞表關閉 Q 不成立，就可以推出 P 也不成立。這也是有效有效 Validity推理形式保證「只要前提全部為真，結論就一定為真」。有效只談形式，不保證前提真的成立。看名詞表關閉推論，常用來檢驗一個說法：若它成立，應該會看到某個結果；沒看到，就表示說法有問題。

生活例子

假設系統規則可靠：如果申請成功送出，頁面就會顯示申請編號。

頁面沒有顯示申請編號。

所以，申請沒有成功送出。

保育例子

如果這片林地有石虎活動，自動相機就一定會拍到。

相機架了三個月，一張都沒拍到。

所以，這片林地沒有石虎活動。

形式完全有效，但第一句值得懷疑：相機只涵蓋小範圍，動物可能剛好沒經過鏡頭。結論是否可信，取決於「一定會拍到」這個前提成不成立。

何時合理

條件句要真的可靠。沒拍到動物時，要先知道調查的偵測能力；僅憑三個月未拍到，甚至不能直接判定出現機會低。系統申請的例子也須排除顯示故障。

進階

形式：P → Q, ¬Q ∴ ¬P，符號 ¬ 表示否定否定 Negation把命題的真假反過來，符號寫成 ¬P，讀作「非 P」。看名詞表關閉。科學上的「可否證性」檢驗常借用這個形式：理論預測 Q，觀察到非 Q，理論就需要修正。實務上，因為前提常包含輔助假設（例如「相機運作正常」），被否定的可能是輔助假設而不是理論本身。