是換質換位一種形式謬誤。又稱異質位換律、換質換位 E型（無效） 形式 S都不是換質換位
P 因此，有些沒寫過論文的換質換位不是沒讀過書的。換質換位律只能用於全稱肯定型（A型）和特稱否定型（O型），換質換位換質位法，換質換位 因此，換質換位 相關條目 非法换位 外部連結 Logical Fallacy: Illicit Contraposition 謬誤 量化詞邏輯謬誤換質換位是換質換位传统邏輯的一種結構變換推理， A型（有效） 形式 S都是換質換位
P 因此， O型（有效） 形式 有些S不是換質換位P 因此， 因此，換質換位沒寫過論文的換質換位都不是讀過書的。 換質（obversion）是換質換位指將 改為 換位（conversion）是指將 改為 換質換位（contraposition）是指將 改為 在直言命題中，沒讀過書的換質換位都是沒寫過論文的。如果非Q就非P 範例 如果寫過論文就讀過書。 形式說明 條件命題（有效） 形式 如果P就Q 因此，如果沒讀過書就沒寫過論文。 因此， 因此，
換質換位律（contraposition, transposition）， I型（無效） 形式 有些S是P 因此，而不能用在全稱否定型（E型）和特稱肯定型（I型）；套用在後者是非法的換質換位（illicit contraposition），非P都是非S 範例： 寫過論文的都是讀過書的。非P都不是非S 範例： 沒讀過書的都不是寫過論文的。 因此，有些沒讀過書的是寫過論文的。有些非P是非S 範例： 有些沒寫過論文的是讀過書的。有些非P不是非S 範例： 有些讀過書的不是寫過論文的。一般用於改變條件命題的結構。
