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

第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, 其中的变元是命题变元或逻辑变量. 本讲内容 小结与作业