此条目介绍的是传统逻辑里面的定律.关于数学逻辑的 "contrapositive",请见"逆否命题".
换质换位律(contraposition transposition),又称异质位换律,换质位法,是传统逻辑的一种结构变换推理,一般用于改变条件命题的结构.
在直言命题中,换质换位律只能用于全称肯定型(A型)和特称否定型(O型),而不能用在全称否定型(E型)和特称肯定型(I型);套用在后者是非法的换质换位(illicit contraposition),是一种形式谬误.
因此,如果没读过书就没写过论文.
因此,没读过书的都是没写过论文的.
因此,没写过论文的都不是读过书的.
因此,有些没读过书的是写过论文的.
因此,有些没写过论文的不是没读过书的.