![](//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),是一种形式谬误。