1.5推理规则和证明方法.pdfVIP

  1. 1、本文档共44页,可阅读全部内容。
  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.5推理规则和证明方法.pdf

离散数学 Discrete Mathematics 数理逻辑 1.5 推理规则与证明方法 张晓 西北工业大学计算机学院 zhangxiao@nwpu.edu.cn 2011-1-10 引言 什么时候数学论证是正确的? 用什么方法来构造数学论证? 数理逻辑的主要任务是用数学的方法来研究推理过 程。 所谓推理是指从前提出发推出结论的思维过程 前提是已知命题公式集合,结论是从前提出发应用 推理规则推出的命题公式。 要研究推理就应该给出推理的形式结构,为此,首 先应该明确什么样的推理是有效的或正确的。 2011-1-10 离散数学 2 1.5.1 推理规则 前几节所讲的命题演算, 本质上和简单的开 关代数一样, 简单的开关代数是命题演算的 一种应用。 现在, 我们从另一角度研究命题演算, 即从 逻辑推理角度来理解命题演算。 2011-1-10 离散数学 3 4个推理的例子 设x属于实数, P : x是偶数, Q: x2是偶数。 例 1 2 如果x 是偶数, 则x 是偶数。 P →Q 前提 x 是偶数。 P 2 结论 ∴Q x 是偶数。 在每一例子中, 横线上的是前提, 例 2 横线下的是结论。右侧是例子的 逻辑符表示。 2 如果x 是偶数, 则x 是偶数。 P →Q 2 x 是偶数。 Q x 是偶数。 离散数学 2011-1-10 ∴P 4 例 3 2 如果x 是偶数, 则x 是偶数。 P →Q x 不是偶数。 P 2 x 不是偶数。 ∴ Q 例 4 2 如果x 是偶数, 则x 是偶数。 P →Q 2 x 不是偶数。 Q x 不是偶数。 ∴ P 2011-1-10

文档评论(0)

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

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

1亿VIP精品文档

相关文档