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

* 等价代换定理用于证明公式的等价 例题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 使用时，直接删除本页！ 精品课件，你值得拥有！ 精品课件，你值得拥有！ 使用时，直接删除本页！ 精品课件，你值得拥有！ 精品课件，你值得拥有！ 使用时，直接删除本页！ 精品课件，你值得拥有！ 精品课件，你值得拥有！ * 练习 作业题： 第12页：（5）、（7） 第17页：（1）a)、d) 第18页： （7）b)、d)，（8） 命题符号化是很重要的，一定要掌握好，在命题推理中常常最先遇到的就是符号化一个问题，解决不好，等于说推理的首要前提没有了。 * 书例： 前提与结论有联系的： 如果某动物为哺乳动物，则它必胎生。 如果我得到这本小说，那么我今夜就读完它。 前提与结论可以没有联系的： 如果雪是黑的，那么太阳从西方出来。 举例： 令：P：天气好。Q：我去公园。 1.如果天气好，我就去公园。 P?Q P Q 2.只要天气好，我就去公园。 P?Q P Q 3.天气好，我就去公园。 P?Q P Q 4.只有天气好，我才去公园。 Q ? P P Q 5.仅当天气好，我才去公园。 Q ? P P Q 6.我去公园，仅当天气好。 Q ? P P Q 7.除非天气好，否则我不去公园。 ? P ? ? Q P ? Q Q ? P P ?Q，这类的联结词还有 “只要P就Q” “因为P,所以Q” “P仅当Q” “只有Q才P” “除非Q,否则非P ” 等等 本节小结 要熟练掌握这六个联结词在自然语言中所表示的含义以及它们的真值表的定义。 P Q ?P P∧Q P∨Q P?Q P?Q P Q T T F T T T T F T F F F T F F T F T T F T T F T F F T F F T T F 均为真 至少一个为真 相同为真 不同为真 取反 1. 复合命题的真值只取决于构成它们的原子命题的真值和命题联结词的定义，而与它们的内容、含义无关，与联结词所连接的两个原子命题之间是否有关系无关。 2. ∧ ， ∨和?具有可交换性，而?，?没有。 本节小结 联结词是命题与命题之间的联结，而非单纯的名词、数词等地联结。 数理逻辑中的联结词是自然语言中联结的逻辑抽象，应具有准确的逻辑含义和严格的单义性，使用时也应忠实地按定义使用。 设P：天不下雨，Q：草木枯黄 则 ? P ：天下雨 P∧Q：天不下雨且草木枯黄； P∨Q ：天不下雨或草木枯黄； P?Q ：如果天不下雨，那么草木枯黄； P?Q：天不下雨当且仅当草木枯黄。 * 本节小结 特别要注意“或者”的二义性，即要区分给定的“或”是“可兼取的或”还是“不可兼取的或”。 特别要注意“?”的用法， ① P→Q的逻辑关系它既表示“充分条件”也表示“必要条件”，即要弄清哪个作为前件，哪个作为后件。 ② P→Q的真值 ③ P→Q的灵活的叙述方法? 作业：p8 3，4