吉林大学离散数学结构(Ⅰ)2-命题逻辑.pptVIP

第二章 命题逻辑 2.1.1 命题 所谓命题是指一句有真假意义的话。 例如：“北京是中国的首都”是命题，而且它是真的； “长春是中国最大的城市”是命题，但它是假的。 “关门!”，“你去哪里?”这种命令和问话不是命题。 2.1.1 命题 命题用大写英文字母P，Q，…，P1，P2，…，表示。 如果一个命题是真的，就说它的真值是1； 如果一个命题是假的，就说它的真值是0。 也用1代表一个抽象的真命题，用0代表一个抽象的假命题。 例： 下列哪些语句是命题？如果是，真值是什么？ 1) 不丹是一个国家； 2) x+1=2； 3) 对每一对实数x,y，都有x+y=y+x； 4) 张怡宁退役后或者出国留学或者 当教练； 5) 地球外的星球上也有人； 2.1.2 逻辑联结词 定义2.1.1 否定 设P是一个命题，命题 “P是不对的”称为P的否定，记以?P，读作非P。?P是真的当且仅当P是假的。 例如：1)P： 上海是一个城市。 ?P：上海不是一个城市。 2)P：三亚的夏天又热又晒。 ?P：三亚的夏天不热或者不晒。 定义2.1.2 析取 设P，Q是两个命题，命题 “P或者Q”称为P，Q的析取，记以P?Q，读作P或Q。 规定P?Q是真的当且仅当P，Q中至少有一个是真的。 例如， P：今天下雨，Q：今天刮风； P?Q：今天下雨或者刮风。 定义2.1.3 合取 设P，Q是两个命题，命题 “P并且Q”称为P，Q的合取，记以P?Q，读作P且Q。 规定P?Q是真的当且仅当P和Q都是真的。 例如：1) P：张怡宁蝉联了奥运冠军， Q：张怡宁是大满贯得主； P?Q：张怡宁既蝉联了奥运冠军 又是大满贯得主。 2)P：2?2=5，Q：雪是黑的， P?Q：2?2=5并且雪是黑的。 定义2.1.4 蕴涵 设P，Q是两个命题，命题 “如果P，则Q”称为P蕴涵Q，记以P?Q。 规定：P?Q是假的当且仅当P是真的而Q是假的。 例如， P：f(x)是可微的； Q：f(x)是连续的；P?Q：若f(x)是可微的，则f(x)是连续的。 显然，由定义知，当P是真的，Q是真的时，命题P?Q是真的。这和日常生活中语言 “如果…那么…”的意思是一致的。但由定义知，如果P是假命题，则不管Q是什么命题，命题 “如果P，那么Q”在命题逻辑中都被认为是真命题。 例如，P： 2?2=5，Q： 雪是黑的，于是，命题 “如果2?2=5，则雪是黑的”是真命题。这是和人们日常生活中语言不一致的地方。 例： 竞选人在竞选时的允诺：“如果我当选了，那么我将会减税。” 批作业时“如果没有一点错误，成绩为A。” 定义2.1.5 等价 设P，Q是两个命题，命题 “P当且仅当Q”称为P等价Q，记以P?Q。规定，P?Q是真的当且仅当P，Q或者都是真的，或者都是假的。 例如，P： a2+b2=a2， Q： b=0，  P?Q： a2+b2=a2当且仅当b=0 。 例： 确定下列命题的真假： 若1+1=2, 则2+2=5. 若1+1=3, 就存在上帝. 若1+1=3, 猪就会飞. 若1+1=2, 猪就会飞. 雪是白的当且仅当太阳从东方升起. 1+2=3当且仅当4+5?9. 答：0 1 1 0 1 0 例2.1.1 如果你走路时看书，那么你一定会成为近视眼。 令P：你走路；Q：你看书； R：你是近视眼。 于是，上述语句可表示为（P?Q）? R。 例2.1.2 除非他以书面或口头的方式正式通知我，否则我不参加明天的会议。 令P：他书面通知我； Q：他口头通知我； R：我参加明天的会议。 于是，上述语句可表示为(P?Q)?R。 例2.1.3 设P，Q，R的意义如下： P：苹果是甜的；Q：苹果是红的；R：我买苹果。试用日常语言复述下述复合命题：(1) (P?Q)?R (2) (?P??Q)??R 解： (1)如果苹果甜且红，那么我买。 (2)我没买苹果，因为苹果不甜也不红。 习题2.1 1 设P是命题“天下雪”；Q是命题“我上街”；R是命题“我有时间”。 1) 用逻辑符号写出以下命题： 如果不下雪并且我有时间，那么我上街。 可表示为：(?P?R)?Q； 我去上街，仅当我有时间。 可表示为：Q?R； 习题2.1 天不下雪。 可表示为：?P； 天正在下雪，我也没去上街。 可表示为：P??Q。 习题2.1 2) 对下述命题用中文写出语句。 Q?(R??P) 我上街当且仅当我有时间并且 天不下雪； R