离散数学一章.ppt

第一章 命题逻辑 §1.命题及其表示法 §2.命题联结词 §3.命题公式与翻译 §4.真值表与等价公式 §5.重言式与蕴含式 §6.其他联结词 §7.对偶与范 式 §8.推理理论 §1命题及其表示法 《定义》： 具有唯一真值的陈述句叫命题。 　讨论定义： （１）命题可以是真的，也可以是假的，但不能同时为真又为假。 （２）命题分类： ⅰ)原子命题（基本命题、本原命题）：一个命题，不能分解成为更简单的命题。 例：我是一位学生。 §1命题及其表示法 ⅱ)分子命题（复合命题）：若干个原子命题使用适当的联结词所组成的新命题 例：我是一位学生和他是一位工人 (3)命题的表示：常用26个大写的英文字母表示命题。用Ａ、Ｂ、Ｃ．．．．Ｚ表示。 (4)命题中所有的“真”用“Ｔ”表示， 　 命题中所有的“假”用“Ｆ”表示。 §1命题及其表示法 例：判断下列语句是否为命题。 ＊　陈述句一般为命题 （1）十是整数。　　 （Ｔ） （2）上海是一个村庄。（Ｆ）　　 （3）今天下雨。 （4）加拿大是一个国家。（Ｔ） （5）２是偶数而３是奇数。　　　　 （6）她不是护士。 （7）１＋１０１＝１１０ （8）今天是星期天。 §1命题及其表示法 命令句，感叹句，疑问句均不是命题。 　 （1）把门关上！ 　 （2）你到哪里去？ 语句既为真，同时又包含假的不是命题，这样的句子称为“悖论”。 　 （3）我正在说谎。 （在命题逻辑中不讨论这类问题） §2 命题联结词 下面先介绍五个常用的命题联结词。 １．否定词：（否定运算、非运算） （１）符号 ? ,读作“非”，“否定” 设命题为Ｐ，则?Ｐ读做“Ｐ的否定”或“非Ｐ” （２）定义：由真值表定义 §2命题联结词 （３）举例： Ｐ：北京是一座城市。 ?Ｐ：北京不是一座城市。 Ｑ：每一种生物均是动物。F ?Ｑ：有一些生物不是动物。T 这里?Ｑ不能讲成“每一种生物都不是动物”为假命题了。 对量化命题的否定，除对动词进行否定外，同时对量化词也要加以否定。 §2 命题联结词 ２．合取词（“合取”、“积”、“与”运算） 符号　“Λ” 设Ｐ，Ｑ为两个命题，则ＰΛＱ称Ｐ与Ｑ的合取，读作：“Ｐ与Ｑ”、“Ｐ与Ｑ的合取”、“Ｐ并且Ｑ”等。 定义（由真值表给出）： §2命题联结词 §2命题联结词 当且仅当Ｐ和Ｑ的真值均为“Ｔ”，则（ＰΛＱ）的真值为“Ｔ”。否则，其真值为“Ｆ”。 注意：Ｐ和Ｑ是互为独立的；地位是平等的，Ｐ和Ｑ的位置可以交换而不会影响ＰΛＱ的结果。 §2命题联结词 举例： (a) P：王华的成绩很好 Q：王华的品德很好。 则ＰΛＱ：王华的成绩很好并且品德很好。 (b) P：我们去种树 Q：房间里有一台电视机 则ＰΛＱ：我们去种树与房间里有一台电视机。 §2命题联结词 (c) P：今天下大雨 Q：3+3=6 则ＰΛＱ：今天下大雨和3+3=6 由例(b)(c)可见，在日常生活中，合取词应用在二个有关系的命题之间。而在逻辑学中，合取词可以用在二个毫不相干的命题之间。 §2命题联结词 (d) 下列语句不是合取联结词组成的命题。　 P: 王大和王二是亲兄弟。 §2命题联结词 ３．析取词（或运算） （１）符号“∨” 设Ｐ、Ｑ为二个命题，则（Ｐ∨Ｑ）称作Ｐ与Ｑ的“析取”，读作：“Ｐ或Ｑ”。 （２）定义（由真值表给出）： §2命题联结词 当且仅当Ｐ、Ｑ均为“Ｆ”时，（Ｐ∨Ｑ）为“Ｆ”。否则，其真值为“Ｔ”． §2命题联结词 区分“可兼或”与“不可兼或（异或，排斥或）” 析取词为可兼或即:P和Q均为“T”时（P∨Q）为“T” 例如： 灯泡有故障或开关有故障。 今晚写字或看书。 今天下雨或打雷。 以上例句均为可兼或。 §2命题联结词 “不可兼或”中当P和Q均为“T”时，则P异或Q为“F”。 （异或用“▽”表示） §2命题联结词 例：　 他通过电视看杂技或到剧场看杂技。 他乘火车去北京或乘飞机去北京。 以上两句均为不“可兼或”。 §2命题联结词 ４．单条件联结词：（“蕴含”联结词、蕴含词） （１）符号“→”，读作：“如果…则…”、“蕴含” Ｐ、Ｑ为二个命题，（Ｐ→Ｑ）为新的命题，读作：“如果Ｐ则Ｑ”，“Ｐ蕴含Ｑ”，“Ｐ仅当Ｑ”，“Ｑ当且Ｐ”，“Ｐ是Ｑ的充分条件”。 Ｐ：称为前件、条件、前提、假设 Ｑ：称为后件、结论。 §2命题联结词 （２）定义 :由真值表定义 §2命题联结词 （３）举例： P：我拿起一本书 Q：我一口气读完了这本书 P→Q：如果我拿起一本书，则我一口气读完了这本