简述基本复合推理的有效形式 逻辑学

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

　　分解式：
　　p并且q p并且q
　　------------ 或者 ------------
　　所以，p 所以，q
　　例如：
　　革命不能输出，也不能输入
　　------------------------------------
　　所以，革命不能输出。
　　或者：
　　革命不能输出，也不能输入
　　------------------------------------
　　所以，革命不能输入。
　　l 合成式：
　　p
　　q
　　----------------------
　　所以，p并且q
　　例如：
　　社会需要稳定
　　社会需要发展
　　-------------------------------------------------
　　所以，社会需要稳定，并且需要发展
　　
　　
　　相容选言推理
　　l 否定肯定式（有效式）：
　　p或者q p或者q
　　非p 非q
　　----------- 或者 ------------
　　所以，q 所以，p
　　例如：
　　犯错误或是主观原因，或是客观原因
　　某甲犯错误不是主观原因
　　-------------------------------------------------
　　所以，某甲犯错误是客观原因
　　这是相容选言推理的否定肯定式，是正确的。
　　
　　l 肯定否定式（无效式）：
　　p或者q p或者q
　　p q
　　---------------- 或者 ---------------
　　所以，非q 所以，非p
　　例如：
　　犯错误或是主观原因，或是客观原因
　　某甲犯错误是主观原因
　　-------------------------------------------------
　　所以，某甲犯错误不是客观原因
　　这是相容选言推理的肯定否定式，是错误的。
　　
　　不相容选言推理
　　l 否定肯定式(有效式)：
　　要么p，要么q 要么p，要么q
　　非p 非q
　　-------------------- 或者 ----------------------
　　所以，q 所以，p
　　例如：
　　要么改革开放，要么闭关锁国
　　我们不能闭关锁国
　　-------------------------------------------------
　　所以，我们只能改革开放
　　这是不相容选言推理的否定肯定式，是正确的。

ment in new retail and