离散数学 教学课件 作者 刘贵龙 第四章.pptVIP

第四章 命题逻辑 本章是数理逻辑中的最基本内容，是下一章的基础.本章主要讲述命题与联结词、命题公式、恒真命题、等价式、蕴涵式及范式等基本内容；能将自然语言符号化；能用等价式、蕴涵式等进行命题演算和推理；能用逻辑推理的方法解决一些实际问题. 第一节 命题与联结词 本节的主要内容有: 1.给出了命题的概念,即命题是能判断真假的陈述句； 2.命题的判断结果称为命题的真值； 3. 一个命题若不能再分割成更小的命题,则该命题称为原子命题,否则称为复合命题； 4.介绍了7个逻辑联结词,其中前5个常用,最基本的有3个,即非、析取、合取等. 第二节 公式与解释 本节主要内容有: 1.用递归的方法定义了命题公式； 2.给出了命题的解释或赋值的概念； 3.定义了公式的真值表； 4.给出了恒真、恒假及可满足公式的定义; 5.给出了两个命题公式等价的概念及14个基本的等价式; 6.给出了命题逻辑的两个简单的实际应用. 第三节 范式 范式指的是命题公式规范的表示形式,有两种范式,即析取范式与合取范式, 概念和结论有: 1.文字、子句、短语、析取范式、合取范式、主析取范式、主合取范式、对偶式、对偶原理、极大项、极小项的定义; 2. 任一公式必有与之等价的合取范式和析取范式; 3. 任意公式都存在惟一的与之等价的主析取范式; 4.我们还介绍了析取范式、合取范式、主析取范式、主合取范