- 1、本文档共44页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 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
您可能关注的文档
- 001 雷击防护标准简介.pdf
- 03总体总包管理办法-3.pdf
- 06-20设备、设施验收和移交工作管理制度.pdf
- 06章 规范命题.ppt
- 07第七章 行政立法与行政规定.ppt
- 1-1-1中国早期政治制度的特点3.ppt
- 1.1.2《弧制度》.ppt
- 1.2富有活力的经济制度 第2课时 九年级思想品德.ppt
- 1010用户注册规范.pdf
- 10仓库管理制度.pdf
- 2025年休闲食品健康化转型下的市场拓展策略与渠道创新报告[001].docx
- 农村电商服务站品牌建设:2025年运营模式创新与品牌传播报告.docx
- 2025年互联网金融平台合规整改与金融科技监管的合规监督与可持续发展策略.docx
- 2025年短视频平台内容监管与平台社会责任关系研究报告.docx
- 农产品溯源体系在农产品质量安全监管中的信用体系构建与实施策略研究.docx
- 2025年工业互联网平台数据备份与恢复策略创新方案探讨.docx
- 2025年线上法律咨询服务平台法律咨询行业竞争策略研究.docx
- 农业产业集群农产品流通体系构建与发展机制报告.docx
- 智能制造领航者:2025年3D打印技术在规模生产中的应用效果分析报告[001].docx
- 农村金融服务创新与农村金融消费者权益保护法规实施效果分析报告.docx
文档评论(0)