离散数学-教案--第1章-命题逻辑1.pptVIP

例1：(a) P： 天不下雨。 Q： 草木枯黄。 P→Q： 如果天不下雨， 则草木枯黄。 (b) R： G是正方形。 S： G的四边相等。 R→S： 如果G是正方形，则G的四边相等。 (c) W： 桔子是紫色的。 V：大地是不平的。 W→V： 如果桔子是紫色的， 则大地是不平的。 例2：将下列命题符号化，并判断其真值 1）.若2+2＝4，则太阳从东方升起。 2）.若2+2≠4 ，则太阳从东方升起。 3）.若2+2＝4 ，则太阳从西方升起。 4）.若2+2≠4 ，则太阳从西方升起。 解 设 ：P: 2+2＝4 ，则其真值为1；q:太阳从东方升起，则其真值为1；r:太阳从西方升起，则其真值为0； 　　则(1)符号化为p→q，该蕴涵式的真值为1。 　　　(2)符号化为 ┑p→q ，该蕴涵式的真值为1。 　　　(3)符号化为p→r ，该蕴涵式的真值为0。 　　　(4)符号化为 ┑p→r ，该蕴涵式的真值为1。 有关说明 蕴含式P→Q基本逻辑关系是：Q是P的必要条件，或P是Q的充分条件。有多种等价方式表达：“只要P，就Q”、 “因为P，所以Q”、 “P仅当Q”、 “只有Q才P”、 “除非Q才P”等。 给定命题P→Q, 我们把Q→P, ┒P→ ┒Q, ┒Q→ ┒P分别叫做命题P→Q的逆命题 、反命题和逆反命题。 例3 将下列命题符号化： 　　(1)只要不下雨，我就骑自行车上班。 　　(2)只有不下雨，我才骑自行车上班。　　 　　解 令p:天下雨；q:我骑自行车上班。 　　(1)只要不下雨，我就骑自行车上班：┒p是的充分条件，因而应符号化为 ┒p→q。 　　(2)只有不下雨，我才骑自行车上班：┒p是的必要条件，因而应符号化为q→ ┒p 。 　　思考练习： 将下列命题符号化（其中命题中出现的a是给定的一个正整数）:　　(1) 只要a能被4整除，则a一定能被2整除。 　　(2) a能被4整除，仅当a能被2整除。 　　(3) 除非a能被2整除，a才能被4整除。 　 (4) 除非a能被2整除，否则a不能被4整除。 (5)只有a能被2整除，a才能被4整除。 (6)只有a能被4整除，a才能被2整除。 5）. 等值词? 定义：如果P和Q是命题, 那么“P当且仅当Q”也是命题, 记为P ? Q, 称为等值式, 读做“P等值于Q” 。 等值式所表达的逻辑关系是与互为充分必要条件。只要P与Q的真值同为真或同为假，P? Q 的真值就为真，否则真值为假。 * Discrete Mathematics 西南科技大学 计算机科学与技术学院 数理逻辑 前言 数理逻辑是用数学的方法研究形式逻辑中推理规律的一种理论。着重于推理过程以及推理是否正确的研究。 逻辑学是一门研究思维规律的科学，它分为辩证逻辑与形式逻辑两种。 数理逻辑是用数学方法研究逻辑。所谓数学方法指的是引进了一套符号体系以及构造形式化的系统作为其研究的手段，因此数理逻辑又称为符号逻辑。 前言（续） 最早提出用数学方法研究逻辑的是德国数学家莱布尼兹，布尔对其做了进一步发展，罗素对起作了总结性的研究和完善，从而使其成为数学中的一门新学科。 计算机科学与数理逻辑有密切的关系。 数理逻辑主要介绍命题逻辑和谓词逻辑两部分，它们是数理逻辑中的两个最基本的部分。 数理逻辑主要研究推理，而思维是通过语言来表达的，所以，我们先看自然语言中构成推理的最基本组成成分是什么： 推理1：如果今天下午有空，我就去打球。我今天下午有空，所以，我去打了球。 推理2：凡人都是要吃饭的。张三是人，所以张三要吃饭。 构成推理最基本的要素，除联结词外就是陈述句了。——命题。 第一章 命题逻辑 1.1 命题 1.命题的概念 在数理逻辑中，称凡能分辨真、假的陈述句为命题。命题可以取一个“值”，称为真值。 一个命题所表达的判断结果只能有两种情况，一种是正确的，一种是错误的。称判断结果正确的命题为真命题（真值为真），一般用1(或T)表示；称判断结果错误的命题是假命题（真值为假），用0(或F)表示。 因而又可以称命题是具有唯一真值的陈述句。 例 1 判断下列句子是否是命题： (a) 2是偶数。 (b) 3+3=6。 (c) 火星上有生命。 (d) 2050年的元旦绵阳是晴天。 (e) 陈涉起义那天, 杭州下雨。 (f) 较大的偶数都可表为两个质数之和。 例 2 判断下列句子是否是命题： (a) 请听讲！ (b) 你会开车吗？ (c) x=3 (d) x+