离散数学第3章命题逻辑.pptVIP

第3章 命题逻辑 3.1 命题的有关概念 本讲内容 Chapter 3 命题逻辑 逻辑学是研究思维形式及思维规律尤其是推理的学科. 逻辑推理无处不在. 亚里士多德(Aristotle, 公元前384~公元前322)是形式逻辑的创始人. 数学, 物理学, 化学, 天文学, 地学, 生物学,逻辑学. (MBA, MPA, 招聘等) 3.1 命题的有关概念 计算机的计算过程就是推理过程, 而每一步推理离不开判断, 判断的对象就是命题. 1. 什么是命题? 命题是能判断出真假的语句. 从三个方面去理解： 小结 第3章 命题逻辑 3.2 逻辑联结词 本讲内容 3.2 逻辑联结词 逻辑联结词就是逻辑运算: 复合命题是由原子命题构成的, 它需要联结词. 给定了原子命题, 使用逻辑联结词可以构成复合命题. 逻辑联结词类似于自然语言中的连词. 本讲内容 本讲内容 小结 第3章 命题逻辑 3.3 命题公式及其真值表 本讲内容 3.3 命题公式及其真值表 有了前面的两节内容, 就可以得到命题逻辑的符号体系. 1. 命题公式(proposition formula)的定义 逻辑函数(logical function) 逻辑表达式(logical expression), 其中的常量是逻辑常量1和0, 其中的变元是命题变元或逻辑变量. 本讲内容 小结与作业 第3章 命题逻辑 3.4 逻辑等值的命题公式 本讲内容 3.4 逻辑等值的命题公式 命题 “四边形的对边平行” 与命题 “四边形的对边相等”是逻辑等值的, 它们在逻辑上说的是同一回事. 上述两个命题的真值是相同的. 下面讨论两个命题公式逻辑等值. 小结与作业 第3章 命题逻辑 3.5 命题公式的范式 本讲内容 3.5 命题公式的范式 命题公式的范式就是其标准形式或规范形式. 有了命题公式的范式, 就可以不用写出真值表就能确定在何真值指派下取真以及在何真值指派下取假. 小结与作业 第3章 命题逻辑 3.6 联结词集合的功能完备性 本讲内容 3.6 联结词集合的功能完备性 前面介绍了9个联结词, 我们想知道 (1) (1元和2元)联结词一共有多少个. (2) 哪些联结词集合具有功能完备性. 这些内容可以从一定的理论高度帮助理解逻辑门电路的种类及其按一定要求化简逻辑函数等问题. 1. 联结词的个数 小结 第3章 命题逻辑 3.7 命题逻辑中的推理 本讲内容 3.7 命题逻辑中的推理 逻辑学的主要内容是研究推理, 推理是从一些前提推出结论的思维过程. 数理逻辑主要是用数学的方法研究逻辑中的推理, 它关心的是推理形式的有效性问题. 小结与作业 离散数学 第26讲 第3章复习小结 1、命题的有关概念 能判断出真假的语句称为命题. 真命题真值为1, 假命题真值为0. 不能分成更小的命题是原子命题, 通常用小写英文字母或带下标表示, 否则是复合命题. 命题常量与命题变元. 2、逻辑联结词 1元或2元逻辑运算共有9个 最基本的联结词是?, ?, ?. 3、命题公式 命题公式就是逻辑函数或逻辑表达式, 其中出现命题常量0和1、命题变元和逻辑运算, 但含义要清楚. 将一个命题符号化后所得到的式子均为命题公式. 4、逻辑等值的命题公式 两个命题公式等值讨论的是它们之间的一种逻辑关系. 给定两个命题公式和，是指在任何真值指派下和的逻辑取值都相同. 5、命题公式的范式 由于等值关系是等价关系, 需要考虑其等价类及其代表元. 命题公式的范式就是命题公式的标准形式或规范形式(作为代表元), 要求能熟练得出给定命题公式的范式. 6、联结词集合的功能完备性 由等值命题公式知道, 1元逻辑运算和2元逻辑运算的个数共9个. {?, ?, ?}是功能完备联结词集, 进而 {?, ?}、{?, ?}、{?, ?}、{?}和{?} 是功能完备的. 7、命题逻辑的推理 Any Questions 例3-34 使用CP规则证明: Proof (1)p ?(q ? r) P (2)p P(附加) (3)q ? r T(1)(2)I (4)q ? ?p P (5)?q ? ?p T(4)E (6)?q T(2)(5)I (7)r T(3)(6)I (8) s ? ? r P 数理逻辑的主要研究任务是建立一个严密的逻辑推理系统—公理推理系统来刻划人类的思维规律.如PC(formal system of Proposition Calc