网站大量收购独家精品文档,联系QQ:2885784924

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

  1. 1、本文档共27页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学-逻辑及证明

离散数学-逻辑 黄晓宇 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:今天离散数学提了问

您可能关注的文档

文档评论(0)

ctuorn0371 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档