# 逆否命题

> 若原命题为"若P则Q"，其逆否命题为"若非Q则非P"，两者逻辑等价。

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

## 定义

若原命题为"若P则Q"，其逆否命题为"若非Q则非P"，两者逻辑等价。脚手架作用：迂回证明的钥匙。直接证明困难时，证明逆否命题往往更容易，是数学证明的常用技巧。

## 机制

命题“若 P 则 Q”与其逆否命题“若非 Q 则非 P”逻辑等价，可用于证明。

## 练习

要证 P→Q，可改证 ¬Q→¬P。

## 脚手架用法

迂回证明的钥匙。直接证明困难时，证明逆否命题往往更容易，是数学证明的常用技巧。

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