假言易位推理

是只改变假言判断前、后件的位臵，而不改变它们的真值的假言直接推理。

略