假言易位換質推理是既改變假言判斷前、後件的位置,又改變它們的真值的假言直接推理。
換位:所有看得見衣服的人不是不稱職的或者愚蠢的。
換質:所有看得見衣服的人是稱職的或不愚蠢的。
假言易位換質推理的邏輯形式:如果p,那么q。所以,如果非q, 那么非p。(p→q)→ (┐q → ┐p )或:只有p,才q。所以,只有非q,才非p。(p ← q)→ (┐q ← ┐p )。
假言易位換質推理的規則是:
(1)對調假言前提前、後件的位置。
(2)改變假言前提前、後件的真值。
(1)對調假言前提前、後件的位置。
(2)改變假言前提前、後件的真值。