否定前件式是什麼意思

在邏輯學中，否定前件式是一種推理形式，它基於以下形式的論證：

如果P，那麼Q。 非P。 所以，非Q。

這裡的「P」代表前提或原因，「Q」代表結論或結果。這種推理形式是無效的，因為它違反了邏輯中的「肯定後件式」規則，即從「如果P，那麼Q」和「Q」可以推出「P」，但不能從「如果P，那麼Q」和「非P」推出「非Q」。

否定前件式是一種常見的邏輯謬誤，它出現在當人們根據一個假設的條件來推斷一個結論，然後當那個條件被證明是錯誤的時候，他們就錯誤地推斷出相反的結論。例如：

如果地球是平的，那麼我們會看到地平線。 地球不是平的。 所以，我們看不到地平線。

這個論證是無效的，因為我們即使知道地球不是平的，我們也可能看到地平線，因為地球是圓的。否定前件式謬誤通常發生在人們在沒有充分證據的情況下匆忙得出結論時。