根据充分条件命题的逻辑性质进行推理。充分条件命题的逻辑性质是：前件真则后件必真，后件假则前件必假；前件假，后件可真可假，后件真，前件可真可假。因此充分条件推理的规则有两条：1、肯定前件就要肯定后件，否定后件就要否定前件；2、否定前件不能否定后件；肯定后件不能肯定前件。这就决定了充分条件推理有两种有效式，即肯定前件式和否定后件式。
