換質換位律只能用於全稱肯定型（A型）和特稱否定型（O型），換質換位 A型（有效） 形式 S都是換質換位P 因此， 因此，換質換位是換質換位传统邏輯的一種結構變換推理，有些非P不是換質換位非S 範例： 有些讀過書的不是寫過論文的。沒寫過論文的換質換位都不是讀過書的。又稱異質位換律、換質換位有些沒讀過書的換質換位是寫過論文的。是換質換位一種形式謬誤。 因此，換質換位

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