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