假言換質推理

假言換質推理是只改變假言判斷前、後件的真值，而不改變它們的位置的假言直接推理。

假言換質推理的規則是：(1)改變假言前提前、後件的真值。(2)改變假言前提的邏輯聯結項。如果前提是充分條件假言判斷的聯結項，那么結論改變為必要條件假言判斷的聯結項；反之，如果前提是必要條件假言判斷的聯結項，那么結論改變為充分條件假言判斷的聯結項。

（1）充分條件假言換質：

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

舉例：如果你是三好學生，那么你的成績好。

所以，只有你不是三好學生，你的成績才不好。

（2）必要條件假言換質：

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

舉例：只有你的成績好，你才是三好學生。

所以，如果你的成績不好，那么你不是三好學生。

（3）充要條件假言換質：

假言換質推理的邏輯形式：P若且唯若Q。所以，非P若且唯若非Q。（P↔Q）→（¬P↔¬Q）

舉例：若且唯若你是唯物主義者，那么你承認物質唯一性。

所以，若且唯若你不是唯物主義者，那你不承認物質第一性。