离散数学第一章命题逻辑15节.pptVIP

* 从定理可见，一个命题公式A，经过多次的置换，所得到的新公式与原公式等价。 等价代换定理的用途。 1、验证两个命题公式等价。 2、化简命题公式。 3、判断命题公式的类型。（见第五节） * 等价代换定理用于证明公式的等价-等值演算法 例题1. 求证吸收律 P∧(P∨Q)?P 证明 P∧(P∨Q) ? (P∨F)∧(P∨Q) (同一律) ?P∨(F∧Q) (分配律) ?P∨F (零律) ?P (同一律) * 等值演算法 例题2. 求证 (?P∨Q)→(P∧Q) ?P 证明 (?P∨Q)→(P∧Q) ??(?P∨Q)∨(P∧Q) (公式E16) ? (??P∧?Q)∨(P∧Q) (德-摩根定律) ? (P∧?Q)∨(P∧Q) (对合律) ?P∧(?Q∨Q) (分配律) ?P∧T (互补律) ?P (同一律) 公式E16 ： P?Q??P∨Q * 补充：等价代换定理用于化简公式 化简语句：“不会休息的人也不会工作，没有丰富知识的人也不会工作”。 解：设P：某人会工作，Q：某人会休息， R：某人有丰富的知识 语句符号化为： (?Q→?P) ∧(?R→?P) (?Q→?P) ∧(?R→?P) ?(Q ∨ ?P) ∧(R∨ ?P) ? ? P ∨ (Q∧R) ? P →(Q∧R) 与语句“工作得好的人一定会休息并且有丰富的知识”，具有相同的逻辑含义。 公式E16 ： P?Q??P∨Q 命题符号化的练习 只要我陪你上街，你就得请我吃饭。 原子命题：P：我陪你上街 Q：你请我吃饭 符号化：P →Q 只有努力学习，你才能出好成绩。 原子命题：P ：你努力学习 Q：你出好成绩。 符号化： Q → P 当你的收入超过3500元，你要交纳所得税 原子命题：P：你的收入超过3500元。Q：你交纳所得税 符号化： P →Q 函数是可导的，仅当它是连续的。 原子命题：P：函数是可导的，Q：函数是连续的。 符号化： P →Q 除非你请我吃饭，否则我才不陪你上街。 原子命题：P：你请我吃饭。Q：我陪你上街。 符号化： ? P → ? Q 命题符号化的练习 只有你主修计算机科学技术或不是新生，你才可以从校园网访问因特网。 解：原子命题： P：你主修计算机科学技术； Q：你是新生； R：你可从校园网访问因特网。 符号化： R ? (P??Q) 或 (?P?Q)??R 。 命题符号化的练习 如果你来了，那么他唱不唱歌将看你是否为他伴奏而定。 原子命题：P:你来了。Q:你为他伴奏。 R:他唱歌。 符号化: P→((Q→R)∧(?Q→?R)) 也可以写成： P→(Q?R) 如果李明是体育爱好者，但不是文艺爱好者，那么；李明不是文体爱好者。 原子命题：P：李明是体育爱好者，Q：李明是文艺爱好者 符号化为：(P ∧ ? Q) → ?(P ∧Q) 不管你努力与否，比赛定会取胜。 原子命题：P：你努力 Q：比赛取胜 符号化：(P ∨ ?P) →Q 学过“离散数学”或“数据结构”，但不是两者都学过的学生，必须选学“算法设计”这门课。 原子命题：P：学过“离散数学”，Q：学过“数据结构”，R：选学“算法设计”。 符号化：(P ∧?Q) ∨ (?P ∧Q) →R * 命题符号化的练习 一.命题符号化 注意讲过的命题符号化方法。 P8习题(3) P:天下雪。Q:我将去镇上。R:我有时间。 a) 如果天不下雪且我有时间，那么我将去镇上。 (?P∧R)→Q b) 我将去镇上，仅当我有时间。Q→R d) 天下雪，那么我不去镇上。P→?Q P12习题(5) a) 或者你没有给我写信，或者它在途中丢失了。 显然这里的“或者”是“不可兼取的或”。 原子命题：P:你给我写信。Q:信在途中丢失了。 符号化: ?P Q 或 (P∧Q)∨(?P∧?Q) c) 我们不能既划船又跑步。 原子命题： P:我们划船。Q:我们跑步。