构建命题逻辑的形式系统,可以采用公理化方法,也可以采用自然演绎的方法.我很好奇公理化方法的命题形式
来源:学生作业帮 编辑:作业帮 分类:语文作业 时间:2024/08/26 23:04:51
构建命题逻辑的形式系统,可以采用公理化方法,也可以采用自然演绎的方法.我很好奇公理化方法的命题形式
系统是什么样子的,我对这两种方法很糊涂,不明白公理和规则不都是公理吗,平面几何是公理化方法但却也少不了自然形式系统的命题逻辑.公理化方法的命题形式是什么?
系统是什么样子的,我对这两种方法很糊涂,不明白公理和规则不都是公理吗,平面几何是公理化方法但却也少不了自然形式系统的命题逻辑.公理化方法的命题形式是什么?
公理化方法在近代数学的发展中起过巨大的作用,可以说,它对各门现代数学都有极其深刻的影响.即使在数学教学中fjn公理化方法也是一个十分重要的方法. 所谓公理化方法(或公理方法),就是从尽可能少的无定义的原始概念(基本概念)和一组不证自明的命题(基本公理)出发,利用纯逻辑推理法则,把一门数学理论构造成为演绎系统的一种方法.所谓基本概念和公理,当然必须反映数学实体对象的最单纯的本质和客观关系而并非人们自由意志的随意创造. 众所周知,Hilbert l899年出版的《几何学基础》一书是近代数学公理化的典范著作.该书在问世后的二三十年间曾引起西方数学界的一阵公理热足见其影响之大.Hilbert的几何公理系统实际上是在前人的一一系列工作成果基础上总结出来的,书中的公理条目也曾屡经修改.直到1930年出第七版时,还作了最后修改.这说明一门学科的公理化未必是一次完成的,公理化过程是可以包含着一些发展阶段的. 谈到数学公理化的作用,至少可以举出如下四点: (1)这种方法具有分析、总结数学知识的作用.凡取得了公理化结构形式的数学,由于定理与命题均已按逻辑演绎关系串联起来,故使用起来也较方便. (2)公理化方法把一门数学的基础分析得清清楚楚g这就有利于比较各门数学的实质性异同并能促使和推动新理论的创 (3)数学公理化方法在科学方法论上有示范作用.这种方法对现代理论力学及各门自然科学理论的表述方法都起到了积极的借鉴作用.例如,20世纪40年代波兰的Banach曾完成了理论力学的公理化,而物理学家亦把相对论表述为公理化形式…… (4)公理化方法所显示的形式的简洁性、条理性和结构的和谐性确实符合美学上的要求,因而为数学活动中贯彻审美原则提供了范例.