)假言直言推理
（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）四种正确的推理形式
