- 1、本文档共7页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
命题逻辑与数学证明方法_孙宗明-2.pdf
35 6 泰山学院学报 Vol. 35 NO. 6
第 卷第 期
20 13 11 Nov. 20 13
年 月 JOURNAL OF TAISHAN UNIVERSITY
( )
命题逻辑与数学证明方法 Ⅱ
1 2
,
孙宗明 梁凤鸣
(1. ;2 . , 27 1021)
泰山学院数学与统计学院 泰山学院学报编辑部 山东泰安
[ ] , ,
摘 要 简单地讨论了命题逻辑 用命题逻辑全面地研究了推理格式和数学证明方法 形成一个完整
. 、 、 、 .
的系统 内容包括推理 推理格式 数学证明 数学证明方法
[ ] ; ; ;
关键词 推理 推理格式 数学证明 数学证明方法
[ ] O14 1 [ ] A [ ] 1672 - 2590 (2013)06 - 0004 - 07
中图分类号 文献标识码 文章编号
, ,
为了用数理逻辑的基础知识研究数学证明方法 就要引入命题的真值的概念 研究命题逻辑的简单
. , . ,
知识 以此作基础 讨论推理和数学证明以及推理格式和数学证明方法 一些有关的基本知识 参见文献
[1 - 4].
1 推理与推理格式
1 A ,A ,…,A , , ,
定义 从一些已知命题 1 2 n 出发 按一定规则推得一个新命题的过程 称为推理 记为
A ,A ,…,A ⊥ B. A ,A ,…,A , B .
1 2 n 称 1 2 n 为推理的前提 称新命题 为推理的结论
, A ,A ,…,A ⊥ B :A A … A B.
实际上 推理 可以通过运算∧和 而还原成一个命题 ∧ ∧ ∧
→ →
1 2 n 1 2 n
2 A A … A B = 1, , A ,A ,…A , A ,
定义 若 ∧ ∧ ∧ → 即为恒真命题 而不论 是真还是假 则称推理
1 2 n
您可能关注的文档
最近下载
- 高血压合并冠心病患者血压管理中国专家共识.pdf
- (2024年新教材)部编版一年级道德与法治上册《课余生活真丰富》教案.docx VIP
- 玻璃纤维增强水泥外墙板 JC/T 1057-2007.pdf VIP
- 机器人教育未来发展趋势研究.docx VIP
- 《疯狂动物城》全本台词中英文对照.docx VIP
- 安川GA500小型高功能型变频器产品技术手册.pdf
- 某大型建筑集团企业财务一体化平台解决方案V2.0.pptx
- 动漫游戏IP衍生品开发策划书.pptx VIP
- 2024年福建省普通高中会考物理学科考试大纲.docx
- 2016年下半年软件水平考试(高级)系统架构师下午(论文)真题试卷.doc VIP
文档评论(0)