換質換位律

換質換位律 （ contraposition, transposition ） ， 又稱異質位換律 、 換質位法 ， 是傳統邏輯的一種結構變換推理 ， 一般用於改變條件命題的結構 。 換質 （ obversion ） 是指將 改爲 換位 （ conversion ） 是指將 改爲 換質換位 （ contraposition ） 是指將 改爲 在直言命題中 ， 換質換位律只能用於全稱肯定型 （ A型 ） 和特稱否定型 （ O型 ） ， 而不能用在全稱否定型 （ E型 ） 和特稱肯定型 （ I型 ） ； 套用在後者是非法的換質換位 （ illicit contraposition ） ， 是一種形式謬誤 。