# 否定后件式

> 大前提：如果P，则Q。

- ID: m08426
- 分类: structure
- 领域: 逻辑学

## 定义

大前提：如果P，则Q。小前提：非Q（后件为假）。结论：非P（前件必为假）。脚手架作用：通过反例证伪，逻辑严谨推翻假说。科学方法的核心逻辑——无法证实，但可以证伪。发现一个反例就足以推翻一个全称命题。相关变体：否定后件

## 机制

否定后件式即 modus tollens，借后件不成立反推前件不成立的有效论证形式。

## 练习

构造若 P 则 Q；据非 Q 得非 P。

## 脚手架用法

通过反例证伪，逻辑严谨推翻假说。科学方法的核心逻辑——无法证实，但可以证伪。发现一个反例就足以推翻一个全称命题。相关变体：否定后件

[阅读网页](https://thinkingmodels.site/entries/detail/m08426)