contrapositive

词汇拆解与释义

Contrapositive 是条件命题的逆否形式。

数学定义

命题：

$\text{if } A \text{ then } B$

的 contrapositive 是：

$\text{if not } B \text{ then not } A$

两者逻辑等价。

P4 用法

有时证明原命题较难，但证明 contrapositive 更自然。