一、充分条件假言三段论推理

充分条件假言三段论推理是一个前提为充分条件假言判断，另一个前提为其它类型的判断，并且根据充分条件假言判断联结项的性质推出结论的假言三段论推理。

充分条件假言判断前、后件的关系为：有前件必有后件；无后件，必无前件。反之则不定。因而：充分条件假言三段论推理有两条规则：

第一，肯定前件就要肯定后件；否定后件就要否定前件。

第二，否定前件不能否定后件；肯定后件不能肯定前件。

充分条件假言三段论推理有两种有效形式：

1肯定前件式。

在前提中，非假言前提肯定充分条件假言前提的前件，而结论肯定它的后件。其逻辑形式是：如果p，那么q，p；所以，q。

例如：如果犯故意杀人罪，那么应受刑罚处罚；李四犯故意杀人罪，所以，李四应受刑罚处罚。

2否定后件式。

在前提中，非假言前提否定充分条件假言前提的后件，而结论否定它的前件。逻辑形式是：如果p，那么q，非q；所以，非p。

例如：

如果犯故意杀人罪，那么应受刑罚处罚；李四不应受刑罚处罚，所以，李四没有犯故意杀人罪。