假言换位推理

假言换位推理，是指以某种类型的假言命题作为前提，通过其前后件的换位而得出另一种类型的假言命题的推理。

假言换位推理的规则：

第一，前后件交换位置

第二，充分条件假言命题联结项和必要假言命题联结项相互变换。