假言易位換質推理

假言易位換質推理是既改變假言判斷前、後件的位置，又改變它們的真值的假言直接推理。

換位：所有看得見衣服的人不是不稱職的或者愚蠢的。

換質：所有看得見衣服的人是稱職的或不愚蠢的。

假言易位換質推理的邏輯形式：如果p，那么q。所以，如果非q， 那么非p。（p→q）→ （┐q → ┐p ）或：只有p，才q。所以，只有非q，才非p。（p ← q）→ （┐q ← ┐p ）。

假言易位換質推理的規則是：
(1)對調假言前提前、後件的位置。
(2)改變假言前提前、後件的真值。