数理逻辑中的归纳定义和归纳证明

来源 :中南大学学报(社会科学版) | 被引量 : 0次 | 上传用户:JJ415722591
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
运用数学归纳法能证明一个表示逻辑定理的全称命题的真实性,即通过证明一集合对象具有某性质,从而证明该集合所有对象具有该性质,其原因在于用归纳法证明的集必须首先是一个用归纳定义给出的归纳集,它是与自然数集相同的最小归纳集,它具有封闭性,即:如果该集合的初始元有某性质,并且有一生成函数使得在初始元基础上,可不断生成新的元,如果这些生成元也有该性质,那么由生成元运用生成函数所生成的其他生成元,也有该性质,于是可断定,该集合中所有元都有该性质.归纳集所具有的这种封闭性质,就是数学归纳法原理.它是一前件真而后件不能假
其他文献
在电视产业化升级背景下,电视节目竞争日益激烈。对于电视节目生产者来说,如何将电视节目进行有效推广至关重要,这也使得电视节目与营销的紧密度大大增强。在新媒体时代,电视
面向工程教育认证,介绍了机械设计制造及自动化专业实践教学课程体系,讨论了各类课程对毕业要求的支撑关系。
影响房地产项目开发的经济、政策、管理、技术等风险因素始终贯穿于房地产项目开发与经营的整个生命周期,如何有效地分析和规避风险,则成为房地产决策中的首要问题。本文在对
与"法则区别说"时代的国际私法比较,现代国际私法更注重对实质正义的追求和实现。针对这一现象,在考察前现代国际私法的基本价值追求和表现形态的基础上,分析现代国际私法以
低碳经济是全球经济发展的大势所趋,是人类社会从工业文明向生态文明转变的过程中探索出来的一种最新型的经济发展模式。电力行业是工业领域碳排放量最大的部门,因此电力企业
本文从股东权益角度推导可持续增长率计算公式,分析可持续增长率影响因素,提出可持续增长率是企业发展的坐标,并就实际增长率与可持续增长率不一致情况,提出企业应当采取的措
《诗经》学从汉初的压抑中奋起 ,文、景时期 ,积极进取 ,逼黄老思想退位 ;武、昭、宣时期 ,屈居于《春秋公羊》学之下 ,仅作为治国指导思想之一 ;元、成、哀、平时期 ,成为治
本文根据中小企业会计核算和财务管理的现实情况,以吉林省部分中小企业为研究对象,探讨解决上述问题的有效方法,以使中小企业会计核算逐步完善,帮助中小企业财务工作走上规范
随着经济全球化和市场竞争白热化,人力资源在企业经营决策、日常管理中承担起越来越重要的作用。但因传统思想、人事化管理、嫁接体制等影响,现代企业人力资源管理发展缓慢。
[目的]探讨杂交狼尾草的越冬保存及越冬方式对生长发育的影响。[方法]以一年生杂交狼尾草的根茎为试料,采用3种越冬方式(露地留茬、种茎坑埋、种茎带根地窖储藏),观察杂交狼尾草