充分條件假言推理法

充分條件假言推理法指的是以充分條件假言判斷為前提，根據充分條件假言判斷的邏輯性質進行推演的一種邏輯方法。運用這種方法推理時應遵守兩條規則：①肯定前件就必推出肯定後件，否定前件不能否定後件;②否定後件就必推出否定前件，肯定後件不能肯定前件。這兩條規則是由於充分條件假言判斷的性質決定的。根據充分條件假言判斷的性質，有前件就有後件，沒有後件必然沒有前件。

充分條件假言推理法有兩個有效式：①肯定前件式，在前提中肯定充分條件假言判斷的前件，結論必肯定它的後件；②否定後件式，在前提中否定充分條件假言判斷的後件，結論就否定它的前件。