离散数学-逻辑及证明.ppt

离散数学－逻辑 黄晓宇 HuangSir@ 能力要求 三大能力 逻辑推理能力 算法分析与设计能力 表达与编程能力 内容要求 逻辑与证明 算法 计数方法 递归 树 网络模型 本讲内容 命题 命题逻辑 逻辑联接词 真值表 命题逻辑－电路化简 命题逻辑－电路化简（二） 命题逻辑－电路化简（三） 命题逻辑－推理 小结 使用自然语言表述的存在问题 能否有一种语言，具有： 高度的抽象性 强大的表达能力 完善的公理集合 命题逻辑 命题逻辑也称命题演算或语句演算，它研究由命题为基本单位构成的前提和结论之间的可推导关系 组成：命题 研究对象：推导关系 命题 命题(Proposition)，是指具有真假意义的单句或复句，命题通常都是陈述句． 命题是能够确定或能够分辨其真假的陈述句，且真或假二者必居其一，也只居其一。简言之，命题非真必假。 例1：P1 (a)～(e) 例2：在引例2中，有哪些命题？ 命题（二） 一个命题的真或假称为命题的真值，简称值，真用T(True)或1表示；假用F(False)或0表示． 由于命题只有真、假二个真值，所以命题逻辑也称二值逻辑． 命题（三） 应该注意，一个陈述句能否分辨真假，与是否知道它的真假，是两件事: 大学城共有30013人 我所说的是假的 在数理逻辑中，不能去纠缠各种具体命题的真假问题，而是将命题当成数学概念来处理，看成一个抽象的形式化的概念，把命题定义成非真必假的陈述句。 命题的表示 一个原子命题，一般用大写字母或带下标的大写字母，如P, Q, R,…,或Pi, Qi, Ri ,…,等表示，把表示原子命题的符号，称为命题标识符，简称命题符． P:今天是星期一 Q:英语老师有会 …… 逻辑联接词 逻辑联结词或命题联结词的简称，它是自然语言中连词的逻辑抽象. 有了联结词，便可以用它和原子命题构成复合命题． 逻辑联接词种类：否定、合取、析取、条件、等价 否定(Negation)，? ? 合取(Conjunction)，∧ 析取(Disjunction)，∨ 判断真假 判断真假（二） 句型解读：如果P则Q（P?Q） 若P成立，则仅当Q成立时为T 若P不成立，则为T（原因？） 逻辑蕴含(Implication)，?? 逻辑等价(logically equivalent)，? 逻辑等价（二） 定义：P12 定义1.2.10 De Morgan逻辑定律 ? (P1 ∨ P2 … ∨ Pn) ＝ ? P1 ∧ ?P2 ∧ … ∧ ? Pn ? (P1 ∧ P2 … ∧ Pn) ＝ ? P1 ∨ ?P2 ∨ … ∨ ? Pn 例1：今天没有人逃课。 例2：今天有人逃课。 逻辑等价（三） 逻辑等价（四） P ? Q＝？ 真值表 对于命题公式 A中每个命题变元，任给一个指派S(P)得到一种真值的组合S(P1)，S(P2)，…S(Pn)，称为A的一个真值指派，记为S(A)。若S(A)为T，称S(A)为A的真指派。 设A为一命题公式，对其中出现的命题变元做所有可能的每一组真值指派S，连同公式A的相应的S(A)汇列成表，称为A的真值表。 真值表（二） P?Q P?Q 电路化简 逻辑证明（二元的De Morgan逻辑定律） * * r q p 1 1 1 0 0 1 0 1 0 0 0 0 Z Y X 与电路 或电路 X Y Z X Y Z 1 1 1 1 0 1 1 1 0 0 0 0 Z Y X r q p r q p 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 1 1 0 1 0 R 0 1 0 0 1 0 0 0 0 0 0 0 O Q P 已知：（1）如果今天是星期一，则要进行英语或离散数学考试；（2）如果英语老师有会，则不考英语；（3）今天是星期一，英语老师有会。 （1） 考英语或离散数学 今天是星期一 英语老师有会 （2） 不考英语 考离散数学 F T T F ?P P F F F F T F F F T T T T P ∧ Q Q P F F F T T F T F T T T T P ∨ Q Q P 考英语 今天是星期一 学生放假 今天星期二 考离散数学 今天星期二 不考试 今天是星期一 命题真假 Q P 如果今天是星期一，则要进行英语或离散数学考试 P：今天是星期一 Q：今天考了英语或离散数学 T T T F 命题P?Q,读作“P条件Q”或“如果P,则Q”。 T F F T T F F F T T T T P ? Q Q P P?Q＝ ?P ∨ Q 今天离数提问 今天是星期五 今天没离数 今天星期二 今天离数提问 今天星期二 今天没离数 今天是星期五 命题真假 Q P 每星期只在周五上离散数学，每次离散数学都提问。 P：今天是星期五 Q：今天离散数学提了问