《命题逻辑》-课件设计（公开）.pptVIP

数理逻辑概述 数理逻辑是一门新兴的边缘性学科，分为五个部分：即逻辑演算、证明论、公理集合论、递归论和模型论。从创始至今约有300年的历史。特别是近百年来，它取得了长足的发展，在现代的数学和计算机科学中，以及在自然科学和社会科学的一些部门中都有广泛的应用。 特别地，回顾计算机科学的发展，我们可以清晰地发现数理逻辑一直是计算机科学的理论基础和发展动力。 数理逻辑概述 在我国，逻辑学(logic)称为“论理学”，是研究人类推理过程的科学，而数理逻辑（mathematical logic）则是用数学的方法来进行这一研究的一个数学学科，其显著特征是： 符号化、形式化 即把逻辑所涉及的“概念、判断、推理”用符号来表示，用公理体系来刻划, 并基于符号串形式的演算来描述推理过程的一般规律。 下面两章将介绍数理逻辑最基本的内容：命题逻辑和谓词逻辑。 数理逻辑的发展历程 数理逻辑发展史中的代表人物 德国G.W. Leibniz(1626-1716)把数学引入形式逻辑，明确提出用数学方法研究推理。 英国G. Boole(1815-1864)等创立了逻辑代数，1847年Boole实现了命题演算。 德国G.Frege(1848-1925)在1879年建立了第一个谓词演算系统。 英国B.Russell (1872-1970)等从逻辑学的基本法则建立了自然数理论、实数理论及解析几