（1）定義
充分條件假言推理，是大前提為充分條件假言推理，小前提和結論是直言判斷的假言推理。
此種推理中，小前提或是對大前提的前件有所斷定，或是對大前提的後件有所斷定。
1）小前提肯定大前提的前件；——充分條件假言推理能推出必然性的結論
2）小前提否定大前提的前件；——充分條件假言推理不能推出必然性的結論
3）小前提肯定大前提的後件；——充分條件假言推理不能推出必然性的結論
4）小前提否定大前提的後件。——充分條件假言推理能推出必然性的結論
（2）規則
第壹，肯定前件必須肯定後件，否定後件必須否定前件；
第二，否定前件不能否定後件，肯定後件不能肯定前件。
（3）兩種正確的推理形式
1）肯定前件式
小前提肯定大前提的前件，結論肯定大前提的後件，其公式是：
如果p，則q
p
——————
所以q
2）否定後件式
小前提否定大前提的後件，結論否定大前提的前件，其公式是：
如果p，則q
非q
——————
所以非p （1）定義
必要條件假言推理，是大前提為必要條件假言判斷，小前提和結論為直言判斷的假言推理。
（2）規則
第壹，否定前件必須否定後件，肯定後件必須肯定前件；
第二，肯定前件不能肯定後件，否定後件不能否定前件。
（3）兩種正確的推理形式
1）否定前件式
小前提否定大前提的前件，結論否定大前提的後件，其公式是：
只有p，才q
非p
——————
所以非q
2）肯定後件式
小前提肯定大前提的後件，結論肯定大前提的前件，其公式是：
只有p，才q
q
——————
所以p （1）定義
充分必要條件假言推理是大前提為充分必要條件假言判斷，小前提和結論為直言判斷的假言推理。
（2）規則
肯定前件必須肯定後件；否定前件必須否定後件；肯定後件必須肯定前件；否定後件必須否定前件。
（3）四種正確的推理形式