充分条件的有效推理形式是

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

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

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

基本的复合命题构成的推理主要有以下3种：

1、联言推理，有两种有效式，分别为分解式和组合式。

2、选言推理，又分为相容的选言推理和不相容的选言推理，相容的选言推理只有一种有效式，即否定肯定式，不相容的选言推理有两种有效式：否定肯定式和肯定否定式。

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