离散数学讲义第二章命题逻辑.pptxVIP

第二章????命题逻辑第二章????命题逻辑数理逻辑是用数学方法研究思维规律的一门学科。所谓数学方法是指:用一套数学的符号系统来描述和处理思维的形式与规律。因此,数理逻辑又称为符号逻辑。本章介绍数理逻辑中最基本的内容命题逻辑。首先引入命题、命题公式等概念。然后,在此基础上研究命题公式间的等值关系和蕴含关系,并给出推理规则,进行命题演绎。主要内容如下：2.1命题的概念和表示2.2逻辑联结词2.3命题演算的合适公式2.4等价与蕴含2.5对偶与范式2.6命题演算的推理理论

2.1命题的概念和表示一、命题的概念命题：是能分辨真假的陈述句。例1判断下列语句是否是命题。（1）空气是人生存所必需的。（2）请把门关上。（3）南京是中国的首都。（4）你吃饭了吗？（5）x=3。（6）啊，真美呀！(7)明年春节是个大晴天。