离散数学_课件总复习资料祥解.pptVIP

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

文档评论(0)

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

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

1亿VIP精品文档

相关文档