假言易位換質推理

假言易位換質推理是一個既改變假言判斷前、後件的位置，又改變它們的真值的假言直接推理。

基本介紹

• 中文名：假言易位換質推理
• 所屬學科：哲學

換位：所有看得見衣服的人不是不稱職的或者愚蠢的。

換質：所有看得見衣服的人是稱職的或不愚蠢的。

假言易位換質推理的邏輯形式：如果p，那么q。所以，如果非q， 那么非p。（p→q）→ （┐q → ┐p ）或：只有p，才q。所以，只有非q，才非p。（p ← q）→ （┐q ← ┐p ）。

假言易位換質推理的規則是：

(1)對調假言前提前、後件的位置。

(2)改變假言前提前、後件的真值。