当前课程知识点:逻辑思维与写作 > 第三章 复合命题及其推理 > 3.3.2 不相容选言命题及其推理 > 3.3.2 不相容选言命题及其推理
和相容选言推理
所对应的还有一种呢
叫不相容选言推理
不相容
这个概念我们在概念这章讲过
外沿之间
互不重合
那么叫不相容
那么放在命题里边
不相容选言命题指的是什么
我们来这样陈述
不相容选言命题指的是
若干事物情况
不能同时为真的选言命题
比如说我们刚才的一个命题
叫
要么在沉默中爆发
要么在沉默中灭亡
这就是个不相容的选言命题
因为每个命题的选言支
不可能同时为真
我不可能在沉默中
即爆发又死亡
两种事物情况有且只有一个为真
不能同真
我们网络上有一首盛传的诗
叫你见或者不见我
那么就是一个
为心爱的女子写的情诗
那么这首诗里
他使用的就是个连续不断的
不相容选言命题和联言命题
这样我们来看一下
说
你见
或者不见我
我就在那里
不悲
不喜
你念
或者不念我
情就在那里
不来
不去
你爱
或者不爱我
爱就在那里
不增
不减
你跟
或者不跟我
我的手就在你手里
不舍不弃
来我的怀里
或者
让我住进你的心里
默然相爱
寂静欢喜
那么在这首诗里边
我们有一个逻辑联结词
或者
我们看到或者似乎是
刚才的相容选言推理
中的一个逻辑联结词
但是在这里面
或者却又表达了一个
不相容选言命题
因此我们在讲
我们在区别一个命题
是什么的时候
一定不是只看逻辑联结词
一定是看
事物情况之间
是要做出什么样的选择
来和去之间
不可能同时为真
虽然有或者
但它是不相容的
那我们用这样一个符号
来表示不相容选言析取
就是在刚才的析取式的中间
加一个点
表示
不相容的选言联结词
p和q
依然表示支命题
那么一个二支的
不相容的选言命题的形式就是
p要么q
析取式就表示成
p不相容析取q
它所表达的含义
是各种支命题
所陈述的事物情况
有且只有一个为真
所以呢我要保证
一个相容选言命题为真
那么就要求它的支命题
有且只有一个为真
如果它的支命题出现同时为真
或者同时为假的情况
那么这种不相容选言命题它就是假的
同样的我们来看一下
不相容选言命题的真值表
我想我们有没有可能
去对比一下
相容选言和不相容选言这两张表
有一个地方是不一样的
刚才所讲的相容选言推理
它的真值表
可以出现同时为真
但是对于不相容选言命题的真值表
我们会看到
有且只有一个为真
那么
我们看到这个真值表中
它就出现
只有两种为真的情况
这张真值表
依然用一句话就能记住它
叫有且只有一个为真
不相容选言命题怎么样来使用
我们来看这样一个论述
说
人事争议发生后
当事人可以协商解决
不愿协商或者协商不成的
可以向主管部门申请调解
其中军队聘用单位
与文职人员的人事争议
可以向聘用单位的
上一级单位申请调解
不愿调解或调解不成的
可以向人事争议仲裁委员会
申请仲裁
当事人仲裁不得的时候呢
我们会看到
可以向人民法院提起诉讼
这个通知呢
是我们国家中组部
人力资源社会保障部
总政治部所颁布的一个
关于人事争议的通知
那么我们在
不相容选言命题之中
刚才的真值表会看到
那么这种真值表呢
有且只有一个为真
那我就根据这张真值表
来进行
不相容选言命题的推理
不相容选言推理
当然前提中一定有一个命题
它是不相容的选言命题
并且会根据
不相容的选言命题的逻辑性质
来进行推理
它的形式
我们来看一下真值表
既然有且只有一个为真
那么推理形式就可能出现两个
它既可以进行否定肯定式
也就是说
在不相容选言推理之中
我们可以在前提中
否定其中一个支命题
在结论中就一定可以肯定
另外一个支命题
因为它要求
有且只有一个为真
这种推理形式就表示成
p要么q
我在前提中依然否定p
或者是否定q
那么结论中我自然可以肯定
作为另一支的q或者是p
那么我把它的蕴含式
依然这样子来表现出来
从相容选言命题的真值表
可以看到
当这种不相容选言析取为真
并且
其中一个为假的时候呢
另一支一定为真
因此
不相容选言推理
这种是
所谓的否定肯定式
就一定是有效的
比如说一本西游记
它的作者
要么是吴承恩
要么是曹雪芹
我们当然知道了
我不确定的时候
但当我知道
一定不是曹雪芹的时候
否定肯定式它一定是
吴承恩
更有意思的
美国的总统布什
他在九一一事件后呢
为了建立全世界的反恐统一战线
他在公众的场合中明确的表示
说
凡不是美国朋友的国家
都是敌人
我们看到在布什这儿
把其他国家分了两类
要么是敌人
要么是朋友
但是呢
布什总统却在很多次的
公开讲话中认为
中国
既不是朋友
也不是敌人
从此我们可以看到
布什总统犯了一个
不小的逻辑错误
和否定肯定式相对应的
那么对于不相容选言推理
它还有一个有效式呢
叫肯定否定式
这种式之中
我在前提中
肯定一个支命题
然后在结论中就可以否定
剩下一个选言支的结论
这种推理形式表示成
p要么q
同样前提中
我无论是肯定其中的选言支p
或者是q
但是结论中
一定可以否定另外一个选言支
p或者是q
所以呢我们在看到
这种推理的过程之中
我想呢
我把不相容选言推理的规则
我们可以这样来陈述
对于不相容选言推理它的规则
在前提之中
否定一个选言支
结论中
一定可以肯定另外一个选言支
而在前提中
如果
否定其中一个选言支
那么在结论中
一定可以肯定另外一个选言支
-导论
--导论
-1.1.1 逻辑学的历史起源(上)
--1.1.1 逻辑学的历史起源(上) 测试题
-1.1.2 逻辑学的历史起源(下)
--1.1.2 逻辑学的历史起源(下) 测试题
--课后思考
-1.2 何为批判性思维
-1.3 批判性思维的培养方法
-1.4 逻辑学的研究对象
--课后思考
-2.1.1概念及其特征(上)
--课后思考
-2.1.2 概念及特征(下)
--2.1.2 概念及特征(下) 测试题
-2.2.1 概念的种类(上)
--2.2.1 概念的种类(上) 测试题
--2.2概念的种类
-2.2.2 概念的种类(中)
--2.2.2 概念的种类(中) 测试题
-2.2.3 概念的种类(下)
--2.2.3 概念的种类(下) 测试题
-2.3 概念间的关系
--2.3 概念间的关系 测试题
-2.4 概念的限制和概括
--2.4 概念的限制和概括 测试题
-2.5.1 下定义的方法
--2.5.1 下定义的方法 测试题
-2.5.2 下定义的规则
--2.5.2 下定义的规则 测试题
-2.6.1 划分的方法
-2.6.2 划分的规则
--2.6.2 划分的规则 测试题
--课后思考
-3.1 命题和推理概述
--3.1 命题和推理概述 测试题
-3.2 联言命题及其推理
--3.2 联言命题及其推理 测试题
-3.3.1 相容选言命题及其推理
--3.3.1 相容选言命题及其推理 测试题
-3.3.2 不相容选言命题及其推理
--3.3.2 不相容选言命题及其推理 测试题
-3.4.1 充分条件假言命题及其推理
--3.4.1 充分条件假言命题及其推理 测试题
-3.4.2 必要条件假言命题及其推理
--3.4.2 必要条件假言命题及其推理 测试题
-3.4.3 充分必要条件假言命题及其推理
--3.4.3 充分必要条件假言命题及其推理 测试题
--课后思考
-3.5.1 二难推理
--3.5.1 二难推理 测试题
-3.5.2 如何摆脱二难推理
--课后思考
-4.1.1 直言命题 上
--4.1.1 直言命题 上 测试题
--4.1直言命题
-4.1.2 直言命题 中
--4.1.2 直言命题 中 测试题
-4.1.3 直言命题 下
--4.1.3 直言命题 下 测试题
-4.2 直言对当关系推理
--4.2 直言对当关系推理 测试题
-4.3.1 三段论概述
--4.3.1 三段论概述 测试题
--4.3三段论
-4.3.2 三段论的规则
--4.3.2 三段论的规则 测试题
--课后思考
-5.1.1 完全归纳推理
--5.1归纳推理
-5.1.2 不完全归纳推理
--5.1.2 不完全归纳推理 测试题
-5.2.1 求因果五法之求同法
--5.2.1 求因果五法之求同法 测试题
-5.2.2 求因果五法之求异法
--5.2.2 求因果五法之求异法 测试题
-5.2.3 求因果五法之求同求异并用法
--5.2.3 求因果五法之求同求异并用法 测试题
-5.2.4 求因果五法之共变法
--5.2.4 求因果五法之共变法 测试题
-5.2.5 求因果五法之剩余法
--5.2.5 求因果五法之剩余法 测试题
-5.3 类比推理
--5.3 类比推理
--5.3 类比推理 测试题
--5.3类比推理
-5.4.1 逻辑基本规律之同一律
--5.4.1 逻辑基本规律之同一律 测试题
-5.4.2 逻辑基本规律之矛盾律
--5.4.2 逻辑基本规律之矛盾律 测试题
-5.4.3 逻辑基本规律之排中律
--5.4.3 逻辑基本规律之排中律 测试题
--课后思考
-6.1 论证的结构和要求
--6.1 论证的结构和要求 测试题
-6.2 论证的方法
--6.2论证的方法
--6.2 论证的方法 测试题
-6.3 论证的有效性分析
--6.3 论证的有效性分析 测试题
-7.1 歧义性谬误
--7.1歧义性谬误
--7.1 歧义性谬误 测试题
--7.1歧义性谬误
-7.2 含混谬误
--7.2含混谬误
--7.2 含混谬误 测试题
--7.2含混谬误
-7.3 论据谬误
--7.3论据谬误
--7.3 论据谬误 测试题
--7.3论据谬误
--课后思考
-8.1.1 支持(上)
--8.1.1 支持(上) 测试题
--8.1支持
-8.1.2 支持(下)
--8.1.2 支持(下) 测试题
-8.2 削弱
--8.2削弱
--8.2 削弱 测试题
--8.2削弱
-8.3 假设
--8.3假设
--8.3假设
--8.3 假设 测试题
-8.4 推出
--8.4推出
--8.4 推出 测试题
--8.4推出
-8.5 解释
--8.5解释
--8.5解释
--8.5 解释 测试题
--课后思考
-8.6 评价
--8.6评价
--8.6评价
--8.6 评价 测试题
--课后思考
-9.1 好文章的逻辑标准
--9.1 好文章的逻辑标准 测试题
-9.2 写作的逻辑语言
--9.2 写作的逻辑语言 测试题
-9.3 写作思路的逻辑性
--9.3 写作思路的逻辑性 测试题
-9.4 写作结构的逻辑性
--9.4 写作结构的逻辑性 测试题
--课后思考