离散数学－逻辑和证明.pptVIP

离散数学－逻辑 黄晓宇 HuangSirchina 能力要求 三大能力 逻辑推理能力 算法分析与设计能力 表达与编程能力 内容要求 逻辑与证明 算法 计数方法 递归 树 网络模型 本讲内容 命题 命题逻辑 逻辑联接词 真值表 命题逻辑－电路化简 r q p 命题逻辑－电路化简（二） X Y Z 0 0 0 0 1 0 1 0 0 1 1 1 与电路 或电路 X Y Z X Y Z X Y Z 0 0 0 0 1 1 1 0 1 1 1 1 命题逻辑－电路化简（三） r q p r q p P Q R O 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 命题逻辑－推理 已知：（1）如果今天是星期一，则要进行英语或离散数学考试；（2）如果英语老师有会，则不考英语；（3）今天是星期一，英语老师有会。 （1） 考英语或离散数学 今天是星期一 英语老师有会 （2） 不考英语 考离散数学 小结 使用自然语言表述的存在问题 能否有一种语言，具有： 高度的抽象性 强大的表达能力 完善的公理集合 命题逻辑 命题逻辑也称命题演算或语句演算，它研究由命题为基本单位构成的前提和结论之间的可推导关系 组成：命题 研究对象：推导关系 命题 命题(Proposition)，是指具有真