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

2. 假言易位推理的规则是：
(1)对调假言前提前、后件的位置。
(2)改变假言前提的逻辑联结项。如果前提是充分条件假言判断的联结项，那么结论改变为必要条件假言判断的联结项；反之，如果前提是必要条件假言判断的联结项，那么结论改变为充分条件假言判断的联结项。

3,假言易位推理的逻辑形式：
如果p，那么q。
所以，只有q，才p。
（p→q）→ （q ← p）
或：
只有p，才q 。
所以，如果q，那么p。
（p ← q）→ （q → p）

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

2. 假言换质推理的规则是：
(1)改变假言前提前、后件的真值。
(2)改变假言前提的逻辑联结项。如果前提是充分条件假言判断的联结项，那么结论改变为必要条件假言判断的联结项；反之，如果前提是必要条件假言判断的联结项，那么结论改变为充分条件假言判断的联结项。

3. 假言换质推理的逻辑形式：
如果p，那么q。
所以，只有非p， 才非q。
（p→q）→ （┐p ← ┐q ）
或：
只有p，才q。
所以，如果非p ，那么非q。
（p ← q）→ （┐p → ┐q ）

假言易位换质推理
1. 假言易位换质推理是既改变假言判断前、后件的位置，又改变它们的真值的假言直接推理。

2. 假言易位换质推理的规则是：
(1)对调假言前提前、后件的位置。
(2)改变假言前提前、后件的真值。

3. 假言易位换质推理的逻辑形式：
如果p，那么q。
所以，如果非q， 那么非p。
（p→q）→ （┐q → ┐p ）
或：
只有p，才q。
所以，只有非q，才非p。
（p ← q）→ （┐q ← ┐p ）