充分条件推理的第一种有效形式（充分条件假言判断的有效推理形式）

根据充分条件命题的逻辑性质进行推理。充分条件命题的逻辑性质是：前件真则后件必真，后件假则前件必假；前件假，后件可真可假，后件真，前件可真可假。

因此充分条件推理的规则有两条：1、肯定前件就要肯定后件，否定后件就要否定前件；2、否定前件不能否定后件；肯定后件不能肯定前件。

这就决定了充分条件推理有两种有效式，即肯定前件式和否定后件式。

充分条件假言推理法有两个有效式：①肯定前件式，在前提中肯定充分条件假言判断的前件，结论必肯定它的后件；②否定后件式，在前提中否定充分条件假言判断的后件，结论就否定它的前件。

充分条件的假言推理有两种有效式：肯定前件式、否定后件式；必要条件的假言推理也有两种有效式：否定前件式、肯定后件式。