当前课程知识点：逻辑学概论 > 第三讲 命题联结词及其基本推理形式 > 3.8 常用命题联结词及其基本推理形式（6） > 逻辑学03-8
前面我们说到了蕴涵
它相当于充分条件
那么我们日常还有一个必要条件
那么逻辑里边有没有
和必要条件对应的呢
这个就是反蕴涵
我们知道充分条件和必要条件
可以说是互相
你是我的必要条件
我就是你的充分条件
是互相反过来的
所以相当于充分条件的叫蕴涵
那么相当于必要条件的就是反蕴涵
那么反蕴涵它在自然语言里边
它在汉语里边呢
这个常用的说法比较少
典型的只有一个
叫做只有什么什么
才什么什么
只有什么什么才什么什么
是表示必要条件的
那么我们这里的当然并不是必要条件
但是它相当于必要条件
那么我们要顺便说到
我们说到每一个命题联结词的时候呢
都说到了在汉语里边
它和什么对应
那么我们已经说过这个对应
不是严格对应的
首先它的意义是不一样的
我们这里的意义很单纯
只是关于真值
而自然语言里边呢
它有很多其他的色彩
那么另外还有一个就是
在自然语言里边
特别在汉语这样的语言里边
有很多的地方
它相当于命题联结词的东西
它是不出现的
而且有的看起来是相同的情况
但是它所对应的这个命题联结词
有时候是不一样的
比如我们举个例子
比方说这个人病了
他不吃也不喝
就是说这里有两个基本命题
一个是他不吃一个是他不喝
他不吃他不喝
他不吃不喝
这个是什么关系
是合取关系
他不吃并且他不喝
我们还有一个说法
这件事情你必须要去
你不去是不行的
你不去不行
你不去不行什么意思
不是不去和不行的合取
而是这里边是一个什么
是蕴涵
如果你不去
那么是不行的
所以你不去不行
它是一个蕴涵关系
他不吃不喝是一个合取关系
从字面上看好像是一样的
但是它所对应的逻辑关系
是不一样的
这个我们在分析自然语言
特别是像汉语这样的语言的时候
特别要注意
好 那么反蕴涵它是所谓
只有什么什么
才什么什么的
我们来看一看
我只有天气好才去爬山
只有天气好才去爬山
那么我这句话在什么时候是真的
什么时候是假的
确实天气好我确实去爬了山
我说的是真话
只有天气好我才去爬山
天气好我爬山了这是真话
只有天气好我才去爬山
天气好我没去爬山
仍然是真话
因为我说只有天气好我才去爬山
我没有说天气好我一定要去爬山
所以天气好我不爬山也同样是可以的
而只有天气好
我才去爬山
天气并不好我倒去爬了山
这些我原来那句话是假话
我这句话不成立 假话
第四种情况
只有天气好我才去爬山
现在天气不好我也没去爬山
那我原来说的仍然是真话
只有这一种情况是假的
所以蕴涵前真后假是假的
反蕴涵前假后真是假的
那么它的基本推理形式
和蕴涵的基本推理形式
正好相反
蕴涵我们知道有一个肯定前件
肯定这个到肯定这个
它这里正好相反
蕴涵有一个从否定这个
到否定这个
它这个又正好相反
比如我们看只有天气好
我才去爬山
现在我爬山了
而我这个人说的都是真话
你就可以知道一定是天气好
好 如果只有天气好我才去爬山
现在天气不好 怎么样
我当然不会去爬山
所以天气不好我没有去爬山
那么这是反蕴涵的两个
最基本的有效推理形式
当然它同样可以有易位式
同样可以有连锁式
我们这里就不举了
那么我们说蕴涵和反蕴涵
它是什么关系
（p反蕴涵q）
就是q蕴涵p
和p反蕴涵q
这两个是完全一样的
相当于我们说
如果说q是p的充分条件
你等于说p是q的必要条件
这两句话是一样的
所以这个式子和这个式子是一样的
那么既然一样
所以在数理逻辑文献里边
反蕴涵是不出现的
通常的数理逻辑文献里边
反蕴涵不出现
假如要出现反蕴涵怎么办
没关系 倒过来就是了
我要出现p反蕴涵q
我只要写q蕴涵p就可以了
长度也是一样的
所以我们说这个反蕴涵
只是在这里我们介绍一下
以后就跟前边的那个不相容析取一样
以后就不出现了
凡是要出现这种情况
直接写这个
而且那个还有长度的代价
这个还没有长度的代价
长度是一样的
好 这个就是我们所说的反蕴涵
-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
-第十二章作业
