2024年4月浙江自考普通逻辑学习笔记 选言推理

　　2024年4月浙江自学考试正在备考阶段，请广大考生关注“浙江自考网”，及时获取模拟试题、历年真题、最新浙江自考成绩、浙江自考报名、浙江自考备考经验等信息!

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

　　一、相容的选言推理

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

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

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

　　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