假言換位推理

假言換位推理，是指以某種類型的假言命題作為前提，通過其前後件的換位而得出另一種類型的假言命題的推理。

假言換位推理的規則：

第一，前後件交換位置

第二，充分條件假言命題聯結項和必要假言命題聯結項相互變換。