根据充分条件命题的逻辑性质进行推理。充分条件命题的逻辑性质是：前件真则后件必真，后件假则前件必假前件假，后件可真可假，后件真，前件可真可假。
因此充分条件推理的规则有两条：1、肯定前件就要肯定后件，否定后件就要否定前件2、否定前件不能否定后件肯定后件不能肯定前件。
这就决定了充分条件推理有两种有效式，即肯定前件式和否定后件式。
充分条件假言推理法有两个有效式：①肯定前件式，在前提中肯定充分条件假言判断的前件，结论必肯定它的后件②否定后件式，在前提中否定充分条件假言判断的后件，结论就否定它的前件。
充分条件的假言推理有两种有效式：肯定前件式、否定后件式必要条件的假言推理也有两种有效式：否定前件式、肯定后件式。
