离散数学讲义第2章命题逻辑.pptVIP

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