人工智能中的离散数学剖析.ppt

数理逻辑 逻辑学: 研究人的思维形式和规律的科学．由于研究的对象和方法各有侧重而又分为形式逻辑、辩证逻辑和数理逻辑． 数理逻辑: 用数学方法研究推理，是研究推理中前题和结论之间的形式关系的科学．所谓推理就是由一个或几个判断推出一个新判断的思维形式. 这里所说的数学方法就是建立一套表意符号体系，对具体事物进行抽象的形式研究的方法．因此，数理逻辑又称符号逻辑．这种方法的优点是表达简洁、推理方便、概括性好、易于分析等． 数理逻辑 一般认为，数理逻辑是由德国数学家兼哲学家莱布尼兹(G.W.Leibnitz)在17世纪中叶创立的．其后由英国数学家布尔(G.Bool)于1847年出版的《逻辑的数学分析》一书发展了逻辑代数，即通常称为布尔代数．还有德国数学家弗雷树(F.L.G.Frege)于1879年出版了《表意符号》,引入了量词、约束变元，使逻辑演算趋于完备．1930年出生于奥地利的美藉数学家哥德尔(K.G?del)的完全性定理证明，使数理逻辑的基础得到完善．意大利数学家皮亚诺(G.Peano)，英国数学家德·摩根(A.DeMorgen)、罗素(B.A.W.Russell)等人都做了很大贡献，丰富和发展了数理逻辑． 数理逻辑 数理逻辑主要包括五部分：逻辑演算、证明论、公理化集合论、模型论和递归函数论．本篇仅介绍计算机科学领域中所必需的数理逻辑基础知识： 命题逻辑 谓词逻辑 1.1命