《离散数学(第7讲习题课1).pptVIP

下载本文档

8
0
约7.91千字
约 29页
2016-12-31 发布于北京
举报
版权申诉

《离散数学(第7讲习题课1).ppt

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

《离散数学(第7讲习题课1)

计算机学院计算机科学与工程学院计算机学院 * 离散数学—习题课（一） DISCRETE MATHEMATICS Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第一章小结命题命题的解释原子命题、复合命题逻辑联结词（～、∨、∧、?、→、?）命题公式公式的解释永真式(重言式) 永假式(矛盾式，不可满足公式) 可满足式命题公式的等价替换定理对偶式对偶原理基本等价式 * 范式句节、子句、短语、析取范式、合取范式极小项---主析取范式极大项---主合取范式命题公式的蕴涵基本蕴含（关系）式推理规则 ① P规则（称为前提引用规则） ② Ｔ规则（逻辑结果引用规则） ③ ＣＰ规则（附加前提规则）一、基本概念 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 二、基本方法 1、应用基本等价式及置换规则进行等价演算 2、求主析取（主合取）范式的方法 1）等价变换法 2）真值表技术法主合取范式----在命题公式的真值表中，使公式取值0时的解释所对应的全部极大项的合取式。主析取范式----在命题公式的真值表中，使公式取值1时的解释所对应的全部极小项的析取式。 3、推理的各种方法（1）直接法（2）利用CP规则（3）反证法 4、消解法 * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 析取--- ∨ P Q 0 0 0 1 1 0 1 1 P∨Q 0 1 1 1 * 注：汉语中的“或”有时与∨有相同含义，称‘可兼或’（相容或）；有时与‘不可兼或’（排斥或，记为?）有相同含义。排斥或?用真值表表示: P Q 0 0 0 1 1 0 1 1 P ? Q 0 1 1 0 联结词∨表示析取。两个命题P和Q析取为一个新的命题P∨Q（读作‘P或Q’）。P∨Q为真，当且仅当P或Q至少有一个为真。用真值表表示: Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例：我上街去书店或去看电影两种可能可以同时为真例：我坐第三排五号或第四排五号。两种可能不能同时为真,又不能同时为假，只有一种是真，所以应是异或（排斥或）。注：教室里有30或40人（或不是做联结词，而是指大约人数） * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 1、下列语句中哪些是命题？是命题的句子中哪些是简单命题？（1）请快开门！??????A.不是命题?B.是命题但不是简单命题?C.是命题而且是简单命题?? （2）你去哪里？??????A.不是命题?B.是命题但不是简单命题?C.是命题而且是简单命题（3）这房间可真热呀！??????A.不是命题?B.是命题但不是简单命题?C.是命题而且是简单命题（4）x+y10。??????A.不是命题?B.是命题但不是简单命题?C.是命题而且是简单命题（5）苹果树和梨树都是落叶乔木。??????A.不是命题?B.是命题但不是简单命题?C.是命题而且是简单命题三、典型例题 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * （6）2是质数或合数。 A.不是命题?