离散第二章 命题逻辑.pptx

离散数学第二章 命题逻辑第2章 命题逻辑2.1 命题逻辑基本概念2.2 命题逻辑等值演算2.3 范式2.4 推理命题逻辑基本概念一、命题 定义：能判断真假而不是可真可假的陈述句，被称为命题。 命题的真值：作为命题所表达的判断只有两个结果：正确和错误，此结果称为命题的真值。命题是正确的，称此命题的真值为真；命题是错误的，称此命题的真值为假。真值为真的命题称为真命题 ；真值为假的命题称为假命题。任何命题的真值都是唯一的。说明：命题逻辑基本概念说明：其它类型的句子，如疑问句、祈使句、感叹 句均没有真假意义，因此，均不是命题。 在数理逻辑中，命题的真值的真和假，有时 分别用1和0来表达，也有时分别用T和F来表达。 命题是具有唯一真值的陈述句。命题逻辑基本概念如何判断命题？首先判断其是否为陈述句其次判断其是否有唯一真值例1： 判断下列句子是否为命题，真值如何？ （1）10是整数。真命题 真命题 （2）北京是我们祖国的首都。假命题（3）雪是黑的。 真值不唯一 非命题 （4）x大于y。祈使句 非命题 （5）向右看齐！疑问句 非命题 （6）你吃饭了吗？ 命题逻辑基本概念例1： 判断下列句子是否为命题，真值如何？ （7）本命题是假的。悖论 非命题 （8）我正在说谎。悖论 非命题 （9）2006年元旦是晴天。是命题 真假未定“他在说谎。”是命题还是悖论？命题与联结词二、命题符号化 用小写字母 p，q，r，?来表示命题。 例2: p:10是整数。q：北京是我们祖国的首都。r:雪是黑的。 三、原子命题（简单命题） 不能被分解为更简单的命题的命题，称为原子命题。 四、复合命题 由若干个原子命题用命题联结词联结而成的命题称为复合命题。命题与联结词例3：判断下列命题是否为复合命题，并将下列命题符号化。（1）5能被2整除。原子命题 （2）2是素数当且仅当三角形有三条边。复合命题 （3）4是2的倍数或是3的倍数。复合命题（4）李明与王华是同学。原子命题（5）蓝色和黄色可以调配成绿色。原子命题（6）3不是偶数。复合命题复合命题（7）林芳学过英语或日语。课本24页例2.2pp 0 1 1 0否定 符号： 定义2.1：设p为命题，复合命题“非p”（或“p的否定”）称为p的否定式，记作 p ，符号 称为否定联结词。规定 p为真当且仅当为假。 p是一元联结词 命题与联结词命题联结词 真值表：说明： P Q P Q 0 0 0 0 1 0 1 0 0合取 符号 1 1 1定义2.2：设p，q为两个命题，复合命题“p并且q”（或 p与q）称为p与q的合取式，记作p q，符号 称为合取联结词。并规定p q为真当且仅当p与q同时为真时为真。 命题与联结词真值表：注意：自然语言中的“既…，又…”，“不但…，而且…”，“虽然…，但是…”，“一面…，一面…”等联结词可符号化为 。但不要见到“与”、“和”就符号化为合取p q p q r s p q 命题与联结词例4：将下列命题符号化。 （1）吴颖既用功又聪明。（2）吴颖不仅用功而且聪明。（3）吴颖虽然聪明，但不用功。（4）张辉与王丽都是三好学生。t（5）张辉与王丽是同学。q:吴颖聪明。p:吴颖用功。s:王丽是三好学生。r:张辉是三好学生。t:张辉与王丽是同学。注意：若“和”、“与”连接的是主语成分，则该陈述句为简单命题。 P Q P Q 0 0 0 0 1 1 1 0 1析取 符号 定义2.3：设p，q为两命题，复合命题“p或q” 称为p与q的析取式，记作p q ，符号 称为析取联结词。并规定p q为假当且仅当p与q同时为假。 1 1 1命题与联结词真值表：注意：自然语言中的“或”具有二义性，用它做联结的命题有时具有相容性，有时具有排斥性，对应的联结词分别称为相容或和排斥或。p:张明正在睡觉。 q:张明正在游泳p q排斥或p:张静挑选202房间。 q:张静挑选203房间 （ p q） （p q）排斥或 命题与联结词例5：将下列命题符号化。（1）张明正在睡觉或游泳。（2）李强是位排球队员或是足球队员。或表示约数，不能用析取（3）他昨晚做了二十或三十道题。（4）张静只能挑选202或203房间。p:李强是位排球队员。 q:李强是位足球队员 p q 相容或 P Q P Q 0 0 1 0 1 1 1 0蕴含 符号： 0定义2.4：设p，q为两命题，复合命题“如果p，则q” 称为p与q的蕴含式，记作p q ，并称p是蕴含式的前件，q为蕴含式的后件，符号 称为蕴含联结词。并规定p q为假当且仅当p为真q为假。 1 1 1真值表：p q的逻辑关