換質換位律 換質換位律contraposition transposition又稱異質位換律換質位法是传统邏輯的一種結構變換推理一般用於改變條件命題的結構 換質obversion是指將 P  Q displaystyle Pto Q 改為  P   Q displaystyle neg Pto neg Q 換位conversion是指將 P  Q displaystyle Pto Q 改為 Q  P displaystyle Qto P 換質換位contraposition是指將 P  Q displaystyle Pto Q 改為  Q   P displaystyle neg Qto neg P 在直言命題中換質換位律只能用於全稱肯定型A型和特稱否定型O型而不能用在全稱否定型E型和特稱肯定型I型套用在後者是非法的換質換位illicit contraposition是一種形式謬誤