普通逻辑学习笔记 选言推理

　　选言推理就是前提中至少有一个是选言判断的推理。也叫做选言三段论。它可以分为相容的选言推理和不相容的选言推理两种。

　　一、相容的选言推理

　　相容的选言推理就是前提中有一个是相容的选言判断的选言推理。

　　相容的选言推理有两条规则：第一，否定一部分选言支，就要肯定另一部分选言支；第二，肯定一部分选言支，不能否定另一部分选言支。

　　根据规则，相容的选言推理只有一个有效式，即：否定肯定式。其推理形式如下：

　　　　p或者q　　　　或　　　　p或者q

　　　　非p　　　　　　　　　　　非q

　　　　所以，q　　　　　　　　　所以，p

也可以符号化为：

　　　　（（pÚq）ÙØp）®q　　　　或　　　　（（pÚq）ÙØq）®p

　　二、不相容的选言推理

　　不相容的选言推理就是前提中有一个是不相容的选言判断的选言推理。

　　不相容的选言推理有两条规则：第一，否定一部分选言支，就要肯定另一部分选言支；第二，肯定一部分选言支，就要否定另一部分选言支。

　　根据规则，不相容的选言推理有两个有效式：

　　1.否定肯定式，其推理形式如下

　　　　要么p，要么q　　　　或　　　　要么p，要么q

　　　　非p                                                      非q

　　　　所以，q　　　　　　　　　　　　所以，p

也可以符号化为：

　　　　（（p`Úq）ÙØp）®q　　　　或　　　　（（p`Úq）ÙØq）®p

　　2.肯定否定式，其推理形式如下：

　　　　要么p，要么q　　　　或　　　　要么p，要么q

　　　　p                                                      　q

　　　　所以，非q　　　　　　　　　　　所以，非p

也可以符号化为：

　　　　（（p`Úq）Ùp）®Øq　　　　或　　　　（（p`Úq）Ùq）®Øp