离散数学第二+++精要.pptxVIP

课 程 说 明 ;二、离散数学课程的特点 ;?三、如何学好离散数学 ;第四部分 数理逻辑。包括命题逻辑和谓词逻辑。（教材的第九、十章 ;五、 教材及参考书;第七章???? 命题逻辑 数理逻辑是用数学方法研究思维规律的一门学科。所谓数学方法是指:用一套数学的符号系统来描述和 处理思维的形式与规律。因此, 数理逻辑又称为符号逻辑。本章介绍数理逻辑中最基本的内容命题逻辑。首先引入命题、命题公式等概念。然后,在此基础上研究命题公式间的等值关系和蕴含关系,并给出推理规则,进行命题演绎。 主要内容如下： 7.1 命题和命题联结词 7.2 命题公式 7.3 命题公式的等值关系和蕴含关系 7.4 范式 7.5 命题演算的推理理论 ; 7.1 命题和命题联结词; 二、命题联结词 ;定义五种联结词（或称命题的五种运算）。; 2．合取“∧” 定义7-2 设P和Q是两个命题，由P、Q利用“∧”组成的复合命题，称为合取式复合命题，记作“P ∧ Q”（读作“P且Q”）。;3. 析取“∨” 定义7-3 由命题P和Q利用“∨”组成的复合命题，称为析取式复合命题，记作“P∨Q”（读作“P或Q”）。;设P、Q是两个命题，P异或Q是一个复合命题，记作P∨Q。 ; 4. 蕴含“→” 定义7-4　由命题P和Q利用“→”组成的复合命题，称为蕴含式复合命题，记作“P→Q”（读作“如果P，则Q”）。;5．等值“?” 　定义7-5 由命题P和Q，利用“?”组成的复合命题，称为等值式复合命题，记作“P?Q” （读作“P当且仅当Q”）。; 例11 黄山比喜马拉雅山高，当且仅当3是素数 令P：黄山比喜马拉雅山高；Q：3是素数 本例可符号化为P?Q; 三、命题符号化 　利用联结词可以把许多日常语句符号化。基本步骤如下： ; 例12．将下列命题符号化 （1） 派小王或小李出差； （2） 我们不能既划船又跑步； （3） 如果你来了，那么他唱不唱歌将看你是否伴奏而定； （4） 如果李明是体育爱好者，但不是文艺爱好者，那么 李明不是文体爱好者； （5） 假如上午不下雨，我去看电影，否则就在家里看书。;练习7-1 1.???? 判断下列语句哪些是命题，若是命题，则指出其真值。 （1） 只有小孩才爱哭。 （2） X+6=Y （3） 银是白的。 （4） 起来吧，我的朋友。; 7.2 命题公式? 一 、??? 命题公式的概念 1. 命题常元 一个表示确定命题的大写字母。;3. 命题公式 命题公式（或简称公式）是由0、1和命题变元以及命题联结词按一定的规则产生的符号串。;二、真值指派 命题公式代表一个命题，但只有当公式中的每一个命题变元都用一个确定的命题代入时，命题公式才有确定的真值，成为命题。 ; 例2 　 给出公式 F=(（P∨Q）?（Q∧R）)? (P∧?R）的真值表。; 三、公式类型 定义7-8 如果对于命题公式F所包含的命题变元的任何一组真值指派，F的真值恒为真，则称公式F为重言式（或永真公式），常用“1”表示。相反地，若对于F所包含的命题变元的任何一组真值指派，F的真值恒为假，则称公式F为矛盾式（或永假公式），常用“0”表示。如果至少有一组真值指派使公式F的真值为真，则称F为可满足公式 。; 解 令F1=（?P?Q）??（P ? Q），;7.3 命题公式的等值关系和蕴含关系;? （2）