換質換位律

換質換位律（contraposition, transposition），又稱異質位換律、換質位法，是传统邏輯的一種結構變換推理，一般用於改變條件命題的結構。

• 換質（obversion）是指將 ${\displaystyle P\to Q}$ 改為 ${\displaystyle \neg P\to \neg Q}$
• 換位（conversion）是指將 ${\displaystyle P\to Q}$ 改為 ${\displaystyle Q\to P}$
• 換質換位（contraposition）是指將 ${\displaystyle P\to Q}$ 改為 ${\displaystyle \neg Q\to \neg P}$

  此條目介紹的是传统逻辑里面的定律。关于数学逻辑的 "contrapositive"，请见「逆否命题」。

在直言命題中，換質換位律只能用於全稱肯定型（A型）和特稱否定型（O型），而不能用在全稱否定型（E型）和特稱肯定型（I型）；套用在後者是非法的換質換位（illicit contraposition），是一種形式謬誤。