基本复合推理的有效形式

基本的复合命题构成的推理主要有以下3种：
1、联言推理，有两种有效式，分别为分解式和组合式。
2、选言推理，又分为相容的选言推理和不相容的选言推理，相容的选言推理只有一种有效式，即否定肯定式，不相容的选言推理有两种有效式：否定肯定式和肯定否定式。
3、假言推理，可分为三种：充分条件的假言推理、必要条件的假言推理、充分必要条件条件的假言推理。充分条件的假言推理有两种有效式：肯定前件式、否定后件式；必要条件的假言推理也有两种有效式：否定前件式、肯定后件式；充分必要条件条件的假言推理有4种有效式：肯定前件式、肯定后件式、否定前件式、否定后件式。