換質換位律
換質換位律（contraposition, transposition），又稱異質位換律、換質位法，是傳統邏輯的一種結構變換推理，一般用於改變條件命題的結構。

換質（obversion）是指將 
  
    
      
        P
        →
        Q
      
    
    {\displaystyle P\to Q}
   改為 
  
    
      
        ¬
        P
        →
        ¬
        Q
      
    
    {\displaystyle \neg P\to \neg Q}
  
換位（conversion）是指將 
  
    
      
        P
        →
        Q
      
    
    {\displaystyle P\to Q}
   改為 
  
    
      
        Q
        →
        P
      
    
    {\displaystyle Q\to P}
  
換質換位（contraposition）是指將 
  
    
      
        P
        →
        Q
      
    
    {\displaystyle P\to Q}
   改為 
  
    
      
        ¬
        Q
        →
        ¬
        P
      
    
    {\displaystyle \neg Q\to \neg P}
  在直言命題中，換質換位律只能用於全稱肯定型（A 型）和特稱否定型（O 型），而不能用在全稱否定型（E 型）和特稱肯定型（I 型）；套用在後者是非法的換質換位（illicit contraposition），是一種形式謬誤。