第一部分数理逻辑 逻辑学 是一门研究思维形式和规律的科学。分为辩证逻 辑和形式逻辑两种。思维的形式结构包括了概念 判断和推理之间的结构和联系,其中概念是思 维的基本单位,通过概念对事物是否具有某种属 性进行肯定或否定的回答,就是判断。由一个或 几个判断推出另一判断的思维形式就是推理 数理逻辑 用数学方法研究推理的规律称为数理逻辑。所谓 数学方法就是引用一套符号体系的方法,所以数 理逻辑又称作符号逻辑。 7/737/73 第一部分 数理逻辑 •逻辑学 –是一门研究思维形式和规律的科学。分为辩证逻 辑和形式逻辑两种。思维的形式结构包括了概念 ﹑判断和推理之间的结构和联系，其中概念是思 维的基本单位，通过概念对事物是否具有某种属 性进行肯定或否定的回答，就是判断。由一个或 几个判断推出另一判断的思维形式就是推理。 •数理逻辑 –用数学方法研究推理的规律称为数理逻辑。所谓 数学方法就是引用一套符号体系的方法，所以数 理逻辑又称作符号逻辑