数理逻辑讲稿第三讲----命题逻辑简介.pptVIP

数理逻辑第三讲 命题逻辑 Mathematical Logic Foundations of Sentential Logic School of Information Engineering, BUPT Dr. ZHOU Yajian Objectives 本节课试图帮助学生掌握以下几个知识点： 命题的分类 五类逻辑联结词 命题的符号化：包括命题变项的符号化和命题常项(逻辑联结词)的符号化。 什么是命题逻辑 命题逻辑的特征 命题逻辑的特征在于，在研究命题的逻辑形式时，只分析复合命题的逻辑形似，把复合命题分析到初始的命题成分（即简单命题）为止，不再分析下去，不把简单命题分析为非命题成分的结合，不分析简单命题的逻辑形式。 在命题逻辑中，简单命题被视作一个整体。 命题逻辑的例子 由“p或q”和“非p”推出q。 是不是正确的推理？ 简单命题 复合命题 命题的真值 一个假命题的真值为假 一个真命题的真值为真 判断命题真假的标准 命题的分类 模态命题 模态命题的分类 必然命题 或然命题 非模态命题 简单非模态命题 性质命题 关系命题 性质命题 性质命题的几个例子1 性质命题的几个例子2 性质命题的几个例子3 性质命题的几个例子4 性质命题的几个例子5 性质命题的几个例子6 关系命题 关系命题的例子1 关系命题的例子2 关系命题的例子3 复合非模态命题的分类 联言复合命题 选言复合命题 假言复合命题 负命题（命题的否定） 联言复合命题 选言复合命题 假言复合命题 断定某一事物情况存在是另一事物情况存在的条件的命题。 充分条件假言命题 必要条件假言命题 充分必要条件假言命题 充分条件假言复合命题 必要条件假言复合命题 断定某一事物情况是另一事物情况的必要条件的命题。 充分必要条件假言复合命题 充分必要条件假言命题：断定某一事物情况是另一事物情况的既充分又必要条件的命题。 负命题 负命题的一个案例 埃弗里的供词 布莱克的供词 克朗的供词 戴维斯的供词 思 考 案例剖析 案例剖析 续1 案例剖析 续2 案例剖析 续3 简单命题的符号化 命题变项 复合命题的符号化 完全符号化的必要性举例 真值函数 命题联结词 命题联结词的研究重点 命题联结词的定义 常见命题联结词 否定式联结词 合取式联结词 析取式联结词 蕴涵式联结词 等价式联结词 否定式联结词 否定式联结词对应的常用语 不 无 没有 并非 合取式联结词 合取式联结词对应的常用语 ……并且…… ……以及…… ……和…… 不仅……而且…… 虽然……但是…… 尽管……仍然…… 析取式联结词 析取式联结词对应的常用语 要么……要么…… ……或者…… 析取式联结词的一个例子 蕴涵式联结词 蕴涵式联结词对应的常用语 如果……必须…… 必须……以便…… 如果……那么…… 蕴涵式的进一步解析 所谓前件蕴涵后件，就是说前件的真可推出后件的真，即前件真而后件假是不可能成立的。 就蕴涵关系而言，若前件假，则后件无论真假， p?q都可成立； 蕴涵式的等价定义 p?q是真的，当且仅当p是假的或者q是真的 如果p是假的的，那么q无论真与假， p?q皆真； 如果q是真的，那么p无论真与假， p?q也皆为真； p?q是假的，当且仅当p是真的并且q是假的（这是p?q是假的唯一情况） 蕴涵式的等价定义 continued 从真值表可见，在两种情况下是真的： p假 q真 等价式联结词 等价式联结词对应的常用语 命题联结词的一个例子 Summary In this lesson, you should have learned: What is sentential logic? What is sentential combination? Five different Sentential Connectives How to construct sentential combination by Sentential Connectives? 定义：设p，q为两命题。复合命题“如果p，则q” 称为p与q的蕴涵式，记作p?q。 ?为蕴涵联结词。 p ? q为假当且仅当p为真而且q为假。 p?q与p、q真值的关系也可以列表如下： p?q意味着?p?q。 定义：设p，q为两命题。复合命题“p当且仅当q” 称为p与q的等价式，记作p?q。 ?为析取联结词。 p ? q为真当且仅当p与q真值相同。 p?q与p、q真值的关系也可以列表如下： 当且仅当 例：两个圆面积相等当且仅当它们的半径相等。 相当于 例：两个圆面积相等相当于它们的半径相等。 ……和