当前课程知识点：逻辑学概论 > 第三讲 命题联结词及其基本推理形式 > 3.6 常用命题联结词及其基本推理形式（4） > 逻辑学03-6
前面我们说到析取的时候
我们说到过这个析取呢
你可以否定一个来肯定另外一个
但是你不能通过肯定一个
来否定另外一个
为什么
因为这两个有可能它是同时出现的
我知道今天天气预报是下雨
或者下雪
我一看今天下雨了
我就说今天不会下雪了
不行
因为有可能下雨
它下着下着它转成雪了
它两个有可能是都下的
也就是说这两个有可能同时出现的
所以你不能通过肯定一个
来否定另外一个
但是有的时候呢
我们有这样的情况
比如你问我今天星期几
我说今天或者星期三
或者星期四
那么或者星期三或者星期四
我的意思是这两个总有一个是对的
但是星期三和星期四它不会都对
因为同一个地方同一个时刻
它星期三就是星期三
星期四就是星期四
它不会两个都成立
再比如说我们刚才那个例子
假如我们说张三作案
或者李四作案
但是我们肯定他们不会共同作案
只有一个人作案
不会两个人共同作案
在这种情况下就是说
两个他不可能同时出现
那么针对于这种情况呢
那么我们有一个特别的
命题联结词
叫做不相容析取
那么不相容析取的符号呢
正规的符号应该是
在析取的中间加一个点
但那个符号打起来非常麻烦
所以我们就用析取里边加一横
来临时代替
好在这个符号呢
以后就不出现了
那么它和析取的区别
只在于这一行（第一行即T T F）
也就是说如果这两个（p和q）有一个成立
它就是成立的
两个都不成立它也不成立
那两个都成立呢
因为已经说了是不相容
所以两个都成立
在这里是不可能的
那么这个所谓不相容析取
它使用的时候
它就可以有刚才我们说
析取里面不能做的那个推理形式了
也就是它可以从肯定一个
来否定另外一个
否定肯定式在它仍然是成立的
你否定一个就肯定另外一个
今天星期三或者星期四
肯定不是星期三那今天就是星期四
但是刚才我们说
比如说张三作案或者
这个或者是不相容的或者
李四作案
两个人不能同时作案
现在我确定张三作案
那李四就可以放掉了
李四跟这个案件无关
为什么
因为我已经肯定了这两个人
不会同时作案的
这个人作案了那个人肯定不会作案的
所以它可以肯定一个
来否定另外一个
因此那不相容析取的价值
在于它有这么一个推理形式
是可以通过肯定一个
来否定另外一个
那么这个相容不相容都可以做的
那么既然这个叫不相容的析取
那么这个那我们就叫做相容的析取了
这是相容的析取
这是不相容的析取
那么我们说一般的来说
我们用这个析取的时候
用“或者”的时候
通常情况我们默认是相容的
如果不相容呢
比如说我们刚才的那个例子
就是说两个人作案
但不可能同时作案
我怎么把刚才那句话说得清楚呢
我是这么说的
张三作案或者李四作案
并且不会他们两个人共同作案
这个意思就是张三作案
和李四作案不相容析取
它相当于说张三或者李四作案
并且并不是张三和李四共同作案
你看这个和这个
这两个同时成立
那么这个和这个是一样的
所以我们说这个析取
通常出现的时候
我们默认相容
如果要出现不相容
我们就多说一句话
它就表达了不相容析取的意思
因此在数理逻辑文献里边
这个符号是不出现的
假如出现这种情况
你这么写就可以了
星期三 星期四的例子
也可以是这样的
星期三或者星期四它本来可以相容
但是你要强调一下
它不会又是星期三又是星期四的
这个就把不相容
给清楚地表达出来了
所以不相容析取
理论上有这么一个命题联结词
而且也有它特有的推理形式
肯定否定式
但是在应用中
在数理逻辑中这个符号是不出现的
而改之以一个更长的
这么一个式子
那么这个好处是什么呢
就是你虽然这个式子长了
但是我可以少用一个（一种）符号
这个符号我本来就不好打
我现在以后就不用打了
因为凡是出现这种情况
我就用这个来代替
跟它是一样的
所以这个不相容析取
我们只是在这里介绍一下
-1.1 “逻辑"和逻辑学
--默认
-1.2 推理和推理形式
-1.3 有效推理形式
-1.4 逻辑学的特点
-1.5 逻辑学的基本准则
-1.6 逻辑学和其他学科的关系
-1.7 关于本课程《逻辑学概论》
-第一章作业
-2.1 中国古代逻辑思想（上）
--默认
-2.2 中国古代逻辑思想（中）
--逻辑学02-2
-2.3 中国古代逻辑思想（下）
--逻辑学02-3
-2.4 印度古代逻辑
--逻辑学20-4
-2.5 古希腊和中世纪逻辑
--逻辑学02-5
-2.6 近代西方逻辑
--逻辑学02-6
-2.7 数理逻辑的提出和实现
--逻辑学02-7
-2.8 数理逻辑的发展
--逻辑学02-8
-第二章作业
-3.1 推理和命题
--默认
-3.2 基本命题和复合命题
--默认
-3.3 常用命题联结词及其基本推理形式（1）
--默认
-3.4 常用命题联结词及其基本推理形式（2）
--默认
-3.5 常用命题联结词及其基本推理形式（3）
--默认
-3.6 常用命题联结词及其基本推理形式（4）
--逻辑学03-6
-3.7 常用命题联结词及其基本推理形式（5）
--逻辑学03-7
-3.8 常用命题联结词及其基本推理形式（6）
--逻辑学03-8
-3.9 常用命题联结词及其基本推理形式（7）
--逻辑学03-9
-第三章作业
-4.1 重言式、矛盾式和可满足式
--默认
-4.2 具体推理转换为推理形式
--默认
-4.3 推理形式转换为复合命题形式
--默认
-4.4 有效推理形式的判定：真值表法
--默认
-4.5 有效推理形式的判定：归谬赋值法
--默认
-第四章作业
-5.1 命题联结词：真值函数
--默认
-5.2 析取范式
--默认
-5.3 为复合命题形式作与之等值的析取范式
--默认
-5.4 合取范式
--默认
-5.5 范式存在定理
--Video
-5.6 命题联结词的充足集
--Video
-5.7 命题联结词的独元充足集
--Video
-第五章作业
-6.1 公理系统的构成
--Video
-6.2 命题演算的公理系统 L
--Video
-6.3 命题演算公理系统 L 中的证明
--Video
-6.4 命题演算公理系统 L 中的证明（续）
--Video
-6.5 命题演算公理系统 L 中的推演
--Video
-第六章作业
-7.1 公理系统出发点的延伸
--逻辑学07-1
-7.2 公理系统的评价
--逻辑学07-2
-7.3 公理系统的性质和评价及其意义
--逻辑学07-3
-7.4 命题演算的自然演绎系统
--逻辑学07-4
-7.5 命题演算自然演绎系统中的证明和推演
--逻辑学07-5
-第七章作业
-8.1 基本命题的结构
-8.2 词项的内涵和外延
-8.3 词项的种类
-8.4 词项间的关系
-8.5 词项的定义
-8.6 词项的划分
-8.7 谓词的分类
-8.8 量词
--8.8 量词
-8.9 联词
--8.9 联词
-第八章作业
-9.1 基本命题的推理
--Video
-9.2 传统逻辑对基本命题的分析
--Video
-9.3 性质命题中主、谓词的周延
--Video
-9.4 命题变形的推理
--Video
-9.5 根据对当关系的推理
--Video
-9.6 三段论
--Video
-9.7 三段论的式与格
--Video
-9.8 有效三段论的判定
--Video
-第九章作业
-10.1 性质命题
-10.2 主词非空的预设
-10.3 关系命题的结构
-10.4 关系命题根据量词的推理
-10.5 关系命题根据谓词性质的推理方法
-10.6 谓词演算简介
-第十章作业
-11.1 非经典（非标准）逻辑
-11.2 多值逻辑
-11.3 模糊逻辑
-11.4 模态逻辑
-11.5 规范逻辑
-11.6 时态逻辑
-11.7 弗协调逻辑
-第十一章作业
-12.1 演绎和归纳
--逻辑学12-1
-12.2 探求因果关系的逻辑方法
--逻辑学12-2
-12.3 证论和反驳
--逻辑学12-3
-12.4 悖论
--逻辑学12-4
-12.5 本课程《逻辑学概论》内容回顾
--逻辑学12-5
-第十二章作业
