数理逻辑课件(离散数学).pptVIP

三、复合命题及联结词 p ∨ p p ∨ 1 p ∨ 0 p ∨ (?p) 等价于 p 等价于 1 等价于 p 等价于 1 关于“析取”的相关规则 析取也满足交换律合结合律。 * 三、复合命题及联结词 例8：假设e表示“Alice高兴”，r表示“Tom高兴”，那么将下列自然语言的陈述转换成逻辑命题。 如果Alice高兴，那么Tom高兴； 除非Alice 高兴， Tom 才高兴； * 三、复合命题及联结词 4.蕴涵式与蕴涵联结词“?” “如果p,则q” 称作p、q的蕴涵式 记作p?q，并称p是蕴涵式的前件，q为蕴涵式的后件。 ?称作蕴涵联结词，或条件联结词。 * 三、复合命题及联结词 p q p ? q 0 0 1 0 1 1 1 0 0 1 1 1 p ? q真值表 善意的推定 * 三、复合命题及联结词 p ? q 的逻辑关系： p是q的充分条件；q 为 p 的必要条件。 “如果…则 … ” 的不同表述法有：“只要 …就…”，“…仅当…”，“除非…才 …”等。 * 三、复合命题及联结词（例题） 例9：将下列命题符号化 （1）只有努力才能取得成功 （2）只要努力过就不后悔 设： p:努力 q:成功 s：努力过 t：不后悔 q?p s?t * 三、复合命题及联结词（例题） 例10：设 p:天冷，q:小王穿羽绒服， 将下列命题符号化 (1) 只要天冷，小王就穿羽绒服。 (2) 因为天冷，所以小王穿羽绒服。 (3) 若小王不穿羽绒服，则天不冷。 (4) 只有天冷，小王才穿羽绒服。 p?q p?q ? q? ? p q?p * 三、复合命题及联结词（例题续） (5) 除非天冷，小王才穿羽绒服。 (6) 除非小王穿羽绒服，否则天不冷。 (7) 如果天不冷，则小王不穿羽绒服。 (8) 小王穿羽绒服仅当天冷的时候。 p?q q?p ? p? ?q q?p * 三、复合命题及联结词 小结： 只有…才、除非…才、仅当表达的是必要条件； 只要…就、如果…就（则）表达的是充分条件； 课堂练习：习题8 * 三、复合命题及联结词 5.等价式与等价联结词“?” “p当且仅当q”记作p?q 称作p、q的等价式 也称作双条件式 ?称作等价联结词。 p q p ? q 0 0 1 0 1 0 1 0 0 1 1 1 * 三、复合命题及联结词 需要注意以下两点： 等价联结词?即通常的“充分必要条件”; p?q为真当且仅当p与q同真或同假，也称“同或”。 * 三、复合命题及联结词（例题） 例11：求下列复合命题的真值 (1) 2 + 2 ＝ 4 当且仅当 3 + 3 ＝ 6。 (2) 2 + 2 ＝ 4 当且仅当 3 是偶数。 (3) 2 + 2 ＝ 4 当且仅当 太阳从东方升起。 (4) 2 + 2 ＝ 4 当且仅当 美国位于非洲。 1 0 1 0 复合命题的真值取决于构成它的各原子命题的真值，而与它们的内容、含义无关。 * 三、复合命题及联结词 等价联结词具有以下性质： 满足结合律(p ? q) ?r等价于p ? (q ?r) 满足交换律p ? q等价于 q ? p p ? p的真值永远为“真” p ? ? p的真值永远为“假” * 三、复合命题及联结词 有关联结词优先级如下： 联结词的优先顺序为：?, ?, ?, ?, ?; 如果出现的联结词同级，又无括号时，则按从左到右的顺序运算; 有括号时，应该先进行括号中的运算。 * 三、复合命题及联结词 （1） 与 含义相同 （2） 与 含义相同 （3） 与 含义相同 由联结词的优先级可得： * 例题 例12：利用联结词，将下述语句符号化：“如果你走路时看书，那么你一定会成为近视眼”。 解：令 p：你走路； q：你看书； r：你是近视眼。 则上述语句可以符号化为： (p?q) ?r * 例题 例13：将下列命题符号化 （1）他努力而且聪明，这不是真的。 令 p:他努力；q:他聪明 （2）虽然天气很冷，老王还是来了。 令 p:天气很冷；q:老王来了 * 例题 （3）不经一事，不长一智 令 p:经一事；q:长一智 （4）若两个圆面积相等，那么它们的半径相