命题逻辑(数理逻辑)

【文件属性】：

文件名称：命题逻辑(数理逻辑)

文件大小：850KB

文件格式：PPT

更新时间：2012-04-12 13:30:03

安全协议 命题逻辑.

数理逻辑是用数学方法研究思维规律的一门学科。所谓数学方法是指:用一套数学的符号系统来描述和 处理思维的形式与规律。因此, 数理逻辑又称为符号逻辑。本章介绍数理逻辑中最基本的内容命题逻辑。首先引入命题、命题公式等概念。然后,在此基础上研究命题公式间的等值关系和蕴含关系,并给出推理规则,进行命题演绎。