离散数学重点难点.pdfVIP

第一篇 数理逻辑 用数学方法来研究推理的规律称为数理逻辑。这里所指的数学方法，就是引进一套严格 定义的符号体系的方法，即建立一套形式语言，来研究形式逻辑。所以数理逻辑又称作符号 逻辑，它是从量的侧面来研究思维规律的。 现代数理逻辑可分为逻辑演算，证明论，模型论，递归函数论，公理化集合论。这里 介绍的是数理逻辑基本的内容：逻辑演算中的命题逻辑和谓词逻辑。数理逻辑与数学的其它 分支、计算机科学、人工智能、语言学等学科均有密切联系。 第