假言易位推理就是將前體中一個充分條件的假言判斷的前件和後件的位置進行交換,從而得出結論的假言推理。
假言易位推理的規則是:(1)對調假言前提前、後件的位置。(2)改變假言前提的邏輯聯結項。如果前提是充分條件假言判斷的聯結項,那么結論改變為必要條件假言判斷的聯結項;反之,如果前提是必要條件假言判斷的聯結項,那么結論改變為充分條件假言判斷的聯結項。
假言易位推理的邏輯形式:
如果p,那么q。所以,只有q,才p。(p→q)→ (q ← p)或:只有p,才q 。所以,如果q,那么p。(p ← q)→ (q → p)