离散数学自考第一章(课后习题和答案)概要.ppt

离散数学 杨老师 yangjj@scnu.edu.cn 离散数学（又称计算机数学）是现代数学的重要分支，是计算机专业课程中的核心基础课程之一。 离散数学以是研究：离散量的结构和相互之间的关系为主要目标，其研究对象一般为：有限或可数个元素（例如：自然数、整数、真假值、有限个结点等），而离散性也是计算机科学的显著特点。 第一章 命题演算 命题概念 基本连接词与复合命题 合式公式与联结词优先顺序 命题公式的等价变化、命题符号化 构造真值表证明等价式 不构造真值表证明蕴含式 范式与主范式，∏，∑互化 应用P、T规则的推理证明 CP规则与间接推理证明 1.1 命题概念 命题：具有唯一真值的陈述句叫命题，亦可简称为语句。 (1)命题可以是真的，或者是假的，但不能同时为真又为假 (2)命题所用符号：常用大写２６个英文字母表示命题。用Ａ、Ｂ、Ｃ．．．．Ｚ表示。 (3)命题中所有的“真”用“Ｔ”表示， 　 命题中所有的“假”用“Ｆ”表示。 (4)命令句，感叹句，疑问句均不是命题。 判断下列句子中哪些构成命题 8是偶数； 雪是黑的； 明年国庆节是个春天； 3+89 我是大学生； 火星上有生物； 星期五下午开会吗？ 请勿吸烟； 这束花多么的好看啊！ x+y 5. 表示命题的符号称为命题标示符， 例：P：今天中午十点下雨； [24]：今天上午十点下雨； 此处的P，[24]就是标示符。 一个命题标示符如表示确定命题，就称为命题常量，如果命题标示符只标志命题的位置，就称为命题变元，因为命题变元可以表示任意命题，他不能确定真值因此不是命题 1.2 复合命题与联结词 原子命题：不能再分解的命题，不包含任何联结词的命题。 复合命题：经过一些联结词复合而成的命题。 在命题演算中也有类似的日常生活中的联结词称做：“命题联结词”下面先介绍五个常用的命题联结词。 １．否定词：（否定运算、非运算） （１）符号 ? ,读作“非”，“否定”，设命题为Ｐ，则在Ｐ的前面加否定词? ，变成?Ｐ， ?Ｐ读做“Ｐ的否定”或“非Ｐ” 例：Ｐ：北京是一座城市。 ?Ｐ：北京不是一座城市。 Ｑ：每一种生物均是动物。F ?Ｑ：有一些生物不是动物。T 这里?Ｑ不能讲成“每一种生物都不是动物”为假命题了。 对量化命题的否定，除对动词进行否定外， 同时对量化词也要加以否定。 （2） ?Ｐ的真值由P的真值来确定 ２．合取词（“合取”、“积”、“与”运算） 符号　“Λ” 设Ｐ，Ｑ为两个命题，则ＰΛＱ称Ｐ与Ｑ的合取，读作：“Ｐ与Ｑ”、“Ｐ与Ｑ的合取”、“Ｐ并且Ｑ”等。 定义（由真值表给出）： 当且仅当Ｐ和Ｑ的真值均为“Ｔ”，则（ＰΛＱ）的真值为“Ｔ”。否则，其真值为“Ｆ”。 注意：Ｐ和Ｑ是互为独立的；地位是平等的，Ｐ和Ｑ的位置可以交换而不会影响ＰΛＱ的结果。在日常生活中，合取词应用在二个有关系的命题之间。而在逻辑学中，合取词可以用在二个毫不相干的命题之间 举例： （a）P：王华的成绩很好 Q：王华的品德很好。 则ＰΛＱ：王华的成绩很好并且品德很好。 （b P：我们去种树 Q：房间里有一台电视机 则ＰΛＱ：我们去种树与房间里有一台电视机。 (c) P：今天下大雨 Q：3+3=6 则ＰΛＱ：今天下大雨和3+3=6 ３．析取词（或运算） （１）符号“∨” 设Ｐ、Ｑ为二个命题，则（Ｐ∨Ｑ）称作Ｐ与Ｑ的“析取”，读作：“Ｐ或Ｑ”。 （２）定义（由真值表给出）： 当且仅当Ｐ、Ｑ均为“Ｆ”时，（Ｐ∨Ｑ）为“Ｆ”。否则，其真值为“Ｔ” 区分“可兼或”与“不可兼或（异或，排斥或）” 析取词为可兼或即:P和Q均为“T”时（P∨Q）为“T”， “不可兼或”中当P和Q均为“T”时，则P异或Q为“F” ４．单条件联结词： （１）符号“→”，读作：“如果…则…”、“如果…那么…” Ｐ、Ｑ为二个命题，（Ｐ→Ｑ）为新的命题，读作：“如果Ｐ则Ｑ”，“Ｐ仅当Ｑ”，“Ｑ当且Ｐ”，“Ｐ是Ｑ的充分条件”。 （２）定义（由真值表定义）： 当Ｐ为“Ｔ”，Ｑ为“Ｆ”时，则 （Ｐ→Ｑ）为“Ｆ”，否则（Ｐ→Ｑ）均为“Ｔ”。　　　　　　　　　 Ｐ：称为前件、条件、前提、假设 Ｑ：称为后件、结论。 （３）举例： （a）P：我拿起一本书 Q：我一口气读完了这本书 P→Q：如果我拿起一本书，则我一口气读完了这本书。 （b）P：月亮出来了 Q：3×3=9 P→Q：如果月亮出来了，则 3×3=9。（善意推定） ５