当前课程知识点：逻辑学概论 > 第四讲 复合命题的推理： 有效推理形式的判定 > 4.3 推理形式转换为复合命题形式 > 默认
刚才我们已经知道了
怎么样把一个用自然语言来表达的
具体的推理变成一个推理形式
那么下面我们继续来分析推理形式
我们看这是刚才那个推理形式
这个叫前提这个叫结论
那我们说前提和结论之间
是一种什么关系
也就是说在有效推理形式里边
前提和结论是怎么样的
我们说在有效推理形式里边
只有一种情况它不会发生
也就是说前提真
而结论假
是不可能发生的
如果发生前提真而结论假
它就不是有效推理形式
那我们说有效推理形式的这种性质
和命题联结词里边的那个蕴涵
是完全类似的
因为我们说一个蕴涵什么时候成立
什么时候不成立
蕴涵只有一种情况不成立
不成立
前真后假它不成立
其他情况它都成立
那么有效推理形式也是的
前提真而结论假
它不是有效的
其他情况下它都可以是有效的
因此我们看前提和结论的关系
恰如蕴涵中前件和后件的关系
因此我们可以把一个推理形式
写成一个复合命题形式
为什么要这么写
因为我们下边要分析
我们要分析它是不是有效推理形式
把它变成一个命题形式以后
把它变成一个复合命题形式以后
我们就好分析了
往下看大家就明白了
所以我们把一个推理形式
就是由若干命题
有前提有结论
这样的一个由命题形式组成的
推理形式呢
我们把它变成一个命题形式
这个放在前边
为了防止混淆
加一个括号
这个放在后边
这个在前这个在后
加一个这个推理
也就是加一个蕴涵
那么这个就变成了这个
这个从逻辑上说层次不同
这个叫推理形式
这个叫命题形式
复合命题形式
但是本质上这两个是一样的
好 那么我们再看像这样的推理形式
它有两个前提 有一个结论
那么跟刚才一样
结论写在后边
前提写在前边
我们用蕴涵连接起来
但问题这里有两个前提
两个前提我们分别打一个括号
放在这里
那我们说前提对于结论来说
如果一个结论是正确的
那么我们说需要怎么样呢
你前提得是真的
真的前提通过有效推理形式
它可以得到真的结论
那么我们要求这个前提真
如果前提不只一个的话
我们要求这一组前提是真的
那么在什么情况下
这一组前提是真的呢
那就是说每一个前提都是真的
那么这一组前提才是真的
那么这又和什么东西是一样的呢
这又和合取是一样的
我们知道一个合取
合取什么时候真
合取的真只有一种情况
就是说前边和后边
这两个部分都得是真的
这两个部分都真
那么这个合取才是真的
这两个都真
整个这一组前提才是真的
所以前提不只一个前提的话
前提之间的关系
恰如合取的两个部分
当然也可以三个部分四个部分
之间的关系
因此我们就可以把前提
若干个前提之间
我们用合取连接
然后前提作为一部分
结论作为一部分
我们用蕴涵连接
这样的话呢
我们就可以把推理形式
都给它变成了命题形式
都变成了复合命题形式
这样我们就知道了
这个推理形式怎么转变为命题形式
很简单就是说
用蕴涵和合取符号
以及括号
把推理形式呢
转换为复合命题形式
也就是说我们再说一遍
这个前提放在前边
结论放在后边
必要的话在外面打上括号
前提和结论之间用蕴涵
有若干个前提的话
前提之间用合取
这样的话呢
一个推理形式
就变成了一个复合命题形式
做这样的转换
是为了我们下边好分析
好
-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
-第十二章作业
