离散数学数理逻辑50.pptx

离散数学数理逻辑;逻辑学

是一门研究思维形式和规律的科学。分为辩证逻辑和形式逻辑两种。思维的形式结构包括了概念﹑判断和推理之间的结构和联系，其中概念是思维的基本单位，通过概念对事物是否具有某种属性进行肯定或否定的回答，就是判断。由一个或几个判断推出另一判断的思维形式就是推理。

数理逻辑

用数学方法研究推理的规律称为数理逻辑。所谓数学方法就是引用一套符号体系的方法，所以数理逻辑又称作符号逻辑。;现代数理逻辑

逻辑演算、逻辑演绎、模型论、证明论、递归函数论、公理化集合论等。

我们要介绍的是数理逻辑中最基本的内容：命题逻辑和谓词逻辑。即一般所谓的古典逻辑。

德国数学家莱布尼茨Leibniz（现代逻辑