![](//upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Disambig_gray.svg/25px-Disambig_gray.svg.png)
此條目介紹的是
傳統邏輯裡面的定律。關於數學邏輯的 "contrapositive",請見「
逆否命題」。
換質換位律(contraposition, transposition),又稱異質位換律、換質位法,是傳統邏輯的一種結構變換推理,一般用於改變條件命題的結構。
- 換質(obversion)是指將
改為 ![{\displaystyle \neg P\to \neg Q}](//wikimedia.org/api/rest_v1/media/math/render/svg/f557b1e30ca9d61042833c85784c3e74363caad5)
- 換位(conversion)是指將
改為 ![{\displaystyle Q\to P}](//wikimedia.org/api/rest_v1/media/math/render/svg/74896ed92ddb33fcfffa42ed6ffdde014d7d64e9)
- 換質換位(contraposition)是指將
改為 ![{\displaystyle \neg Q\to \neg P}](//wikimedia.org/api/rest_v1/media/math/render/svg/0777042bd6b742c2a329ba3c5223962d9b66c0c6)
在直言命題中,換質換位律只能用於全稱肯定型(A型)和特稱否定型(O型),而不能用在全稱否定型(E型)和特稱肯定型(I型);套用在後者是非法的換質換位(illicit contraposition),是一種形式謬誤。