离散数学电子教案.pptVIP

离散数学主要内容 命题逻辑 谓词逻辑 集 合 二元关系 函 数 代数系统 群、环和域 格与布尔代数 图 论 离散数学的后继课程： 数据结构、编译技术、 算法分析与设计、人工智能与机器人、 数据库、网络和计算机图形学…… 教材及参考书 左孝凌等，《离散数学》，上海科学技术文献出版社，1982 同济大学应用数学系《离散数学》编写组，离散数学，统计大学出版社，2003 作业 判断下列命题公式的类型 1）(P→Q) ? (?Q→?P) 2) (?Q→P) → (P→Q) 3) ( (P∨Q)→R) →P 4) (P∧Q) ?P 5) (P→?P)→?P 作业 求主合取范式和主析取范式 1）(?P ∨ ?Q) ∨(P → ?Q) 2) Q ∧ (P ∨ ?Q) 3) P ∨ (?P → (Q∨( ?Q →R))) 4) (P →(Q ∧ R)) ∧(?P → ( ?Q ∧ ?R)) 作业： 1 甲、乙、丙、丁四人参加考试后，有人问他们谁的成绩最好，甲说“不是我”，乙说“是丁”，丙说“是乙”，丁说“不是我”，四人的回答只有一人符合实际，问成绩最好的人是谁？ 2 某科研所要从3名科研骨干A,B,C中挑选出国进修者，由于工作需要，选派时要满足以下条件： 1) 若A去，则C同去 2) 若B去，则C不能去 3) 若C不去，则A或B可以去 问所里应如何选派他们？ 三个变元可构成28= 个不等价的命题公式，n个变元可构成 个不等价的命题公式。 1.7 对偶式与蕰含式 1.7.1对偶式 从1.3节的命题定律中可以看出，很多常用等价式是成对出现的，只要将其中的“∧”和“∨”分别换成“∨”和“∧”，就可以由一个得到另一个。例如，将命题定律 (A∨B) ∧ C?(A∧ C)∨(B∧ C ) 中的“∨”换成“∧”, “∧”换成“∨”就得到了命题定律 (A∧B) ∨C?(A∨C) ∧ (B ∨ C ) 这些成对出现的等价式反映了等价的对偶性。本节介绍对偶式和对偶原理。 定义1.7.1在仅含联结词?，∧，∨的命题公式A中，将联结词∨，∧，F，T分别换成∧，∨，T，F所得的公式称为公式A的对偶式，记为A*。 设A*是A的对偶式，将A*中的∨，∧，F，T分别换成 【例1.27】求p↑q和p↓q的对偶式。 解： p↑q??(p∧q) ?(p∧q)的对偶式是?(p∨q)?p↓q 故p↑q的对偶式是p↓q；同样的方法可以证明p↓q的对偶式是p↑q。 根据例1.27，对偶式概念可以推广为：在仅含有联结词?，∧，∨，↑，↓的命题公式中，将联结词∨，∧，↑，↓，F，T分别换成 ∧，∨，↓，↑，T，F，就得到了它的对偶式。 关于对偶式有以下两个结论。 定理1.7.1 设A*是A的对偶式，p1，p2，…，pn是出现在A和A*中的原子变元，则 ?A(p1，p2，…，pn)?A*(?p1，?p2，…，?pn) A(?p1，?p2，…，?pn)??A*(p1，p2，…，pn) ∧，∨，T，F，就会得到A。即A 是A*的对偶式，(A*)*?A。所以说A*和A互为对偶式。 【例1.28】设命题公式A(p,q,r)?(p∨q)∧r，试用此公式验证定理1.7.1的有效性。 证明：⑴验证 ?A(p,q,r)?A*(?p, ?q, ?r) A(p,q,r)?(p∨q)∧r ?A(p,q,r)??((p∨q)∧r)?(?p∧?q)∨?r A*(p,q,r)?(p∧q)∨r A*(?p, ?q, ?r)?( ?p∧?q)∨?r 所以，?A(p,q,r) ?A*(?p,?q,?r) ⑵验证 A(?p,?q,?r)??A*(p,q,r) A(?p,?q,?r)?(?p∨?q)∧?r ??((p∧q)∨r) ??A*(p,q,r) 定理1.7.2 (对偶原理)设p1，p2，…，pn是出现在公式 A和B中的所有原子变元，如果A?B，则A*?B* 根