# 反证法

> 假设结论不成立，推导出矛盾，从而证明结论成立。

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

## 定义

假设结论不成立，推导出矛盾，从而证明结论成立。脚手架作用：间接证明。直接证明困难时，绕道从反面入手。

## 机制

要证命题 P，先假设非P，推演出矛盾，从而断定 P 成立；是数学与逻辑的基本间接证明法。

## 练习

明确待证 P；假设非P；严谨推导直至与已知/公理矛盾；据此断言 P。

## 脚手架用法

间接证明。直接证明困难时，绕道从反面入手。

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