离散总复习学习课件.pptVIP

  1. 1、本文档共56页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离 散 数 学 期 末 总 复 习 复 习 时 注 意 准确掌握概念 灵活应用定理 注意解题思路清晰 证明问题时,先用反向思维(从结论入手)分析问题,再按正向思维写出证明过程. 总 复 习 复习重点 第一章 命题逻辑 1.联结词的定义(含义及真值表定义). 2.会命题符号化. 3.永真式的证明. 4.永真蕴涵式的证明,记住并能熟练应用常用公式. 5.等价公式的证明,记住并能熟练应用常用公式. 6.会写命题公式的范式, 能应用范式解决问题. 7.熟练掌握命题逻辑三种推理方法. 第一章 命题逻辑 1.联结词 定义了六个逻辑联结词,分别是: (1) 否定“?” (2) 合取“∧” (3) 析取“∨” (4) 异或“ ” (5) 蕴涵“?” (6) 等价“?” 要熟练掌握这五个联结词在自然语言中所表示的含义以 及它们的真值表的定义。 ? :否定 表示“不” ∧:合取 表示“不但…,而且...”“并且” ∨:析取 表示“或者-可兼或” :异或 表示“或者-不可兼或” ?:蕴涵 表示“如果…,则...” ?: 等价 表示“当且仅当”“充分且必要” 可以将这六个联结词看成六种“运算”。 联结词的定义(包括真值表和含义). 特别要注意: “?”的用法,它既表示“充分条件”也表示“必要条件”,即要弄清哪个作为前件,哪个作为后件. 2.会命题符号化. 例如 P:我有时间. Q:我上街. R:我在家. 表示P是Q的充分条件: 如果p,则Q. 只要P,就Q. P?Q 表示P是Q的必要条件: 仅当P,才Q. 只有P,才Q. Q?P 如果P,则Q;否则R. (P?Q)?(?P?R) 3.永真式的证明. 方法1.列真值表. (?R?(Q?R)??(P??Q))??P 方法2.用公式的等价变换,化简成T. 例如证明(?R?(Q?R)??(P??Q))??P是永真式. 证:上式??(?R?(?Q?R)??(P??Q))??P(P?Q??P?Q) ?(R?(Q??R)? (P??Q))??P (德摩根定律) ?((R?(Q??R))? ((P??Q)??P) (结合律) ? ((R?Q)?(R??R))?((P??P)?(?Q??P) (分配律) ?(R?Q)?(?Q??P) ?R?Q??Q??P? T (互补,同一律) 4.永真蕴涵式的证明, 记住常用的公式. 永真蕴涵式: A?B是永真式,则称 A永真蕴涵B. (A?B) 方法1.列真值表. 方法2.假设前件真,推出后件真. (即直接推理) 方法3.假设后件假,推出前件假.(即反证法) 例证明(P?(Q?R))?((P?Q)?(P?R))是永真蕴涵式. 证:假设后件(P?Q)?(P?R)假, 则P?Q为T, P?R为F,于 是P为T,R为F, 进而又得Q为T. 所以Q?R为F, 所以前件 P?(Q?R)为F. 所以(P?(Q?R))?((P?Q)?(P?R))为 永真式. 对于给定一个题,究竟是用哪种方法,原则上哪种都可以. 但是哪个方法简单,要根据具体题而定. 5.等价公式的证明,记住常用的公式. 方法1.列真值表. 方法2.用公式的等价变换. 例如:证明 P?(Q?R)?(P∧Q)?R P?(Q?R)??P?(?Q?R) ? (?P??Q)?R ??(P?Q)∨R? (P∧Q)?R 必须记忆一些常用的公式 P43表 6.命题公式的范式 1)析取范式:A1∨A2∨...∨An (n≥1) Ai (i=1,2..n)是合取式. 2)合取范式:A1∧A2∧...∧An (n≥1) Ai (i=1,2..n)是析取式. 3)小项及小项的性质. m3 m2 m1 m0 P Q P∧Q P∧?Q ?P∧Q ?P∧?Q 00 F F F F F T 01 F T F F T F 10 T F F T

文档评论(0)

ipad0d + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档