离散数学--数理逻辑--命题逻辑-(1).pptVIP

第一章 命题逻辑 §1.1 命题符号化与联结词 一、命题 1、什么是命题？ （1）命题是陈述客观外界发生事物的陈述句。 （2）命题是或为真或为假的陈述句。 (1) 中国是一个发展中国家。 (2) 人是由猴进化而来的。 (3) 早上好！ (4) 己所不欲，勿施于人！ (5) 宇宙是大爆炸形成的。 (6) 我正在说谎。 (7) 这道题太难。 3、命题的分类与表示 根据其复杂程度分类： 简单命题或原子命题。 复合命题。 命题常项和命题变项 对于简单命题，它的真值是确定的，就称为命题常项。 如以上的p,q都是命题常项。 对于简单陈述句，它的真值是不确定的，就称为命题变项。 如x+y5就是命题变项。注意命题变项不是命题。 4、联结词和复合命题 联结词： 通常“并非”, “并且”, “或”,“如果…那么…”,“只要…就…”, “当且仅当”等词称为联结词。 EX2：下列给出的命题都是复合命题。 ① 期中考试，张三没有考及格。 ② 期中考试，张三和李四都及格了。 ③ 期中考试，张三和李四中有人考90分。 ④ 如果张三能考90分，那么李四也能考90分。 ⑤ 只要张三刻苦学习张三就能考90分。 1、否定联结词 设 P 为一个命题，复合命题“非P”称为P的否定式，记为?P，“ ? ”称为否定联结词。“?P”为真当且仅当P为假。 1、否定联结词 EX3：求“我们班上所有的同学都大于18岁”的否定。 P：我们班上所有的同学都大于18岁。 ?P：我们班上所有的同学不都大于18岁。 ?P：我们班上所有的同学都不大于18岁。 2、合取联结词 设P、Q为两个命题，复合命题“P而且Q”称为P、Q的合取式，记为P∧Q，“∧”称为合取联结词。 P∧Q为真当且仅当P 与 Q 为同时为真。一般地“既P又Q”，“不仅P而且Q”， “虽然P但是Q”都可以符号化为P∧Q。 EX5：求“今天下雪且今天下雨”的否定。 P：今天下雪。 Q：今天下雨。 3、析取联结词 (1)相容性析取 设P、Q为两个命题，复合命题“P或者Q”中至少有一个发生，称为P、Q的相容性析取，记为P∨Q。 P∨Q为真当且仅当P与Q为中至少有一个为真。 (2)排斥性析取 设P、Q为两个命题，复合命题“P或者Q”中恰有一个发生，称为P、Q的排斥性析取，记为P ? Q。 P ? Q为真当且仅当P与Q的真值不相同。 日常语言中“或”有三种标准用法， EX8： ① 张三或者李四考了90分。 ② 第一节课上数学课或者上政治课。 ③ 去教学楼需要6分钟或8分钟。 4、蕴含联结词 设P、Q为两个命题，复合命题“如果P则Q”称为P对Q的蕴含式，记为P→Q，其中又称P为此蕴含式的前件，称Q为此蕴含式的后件，“ → ”称为蕴含联结词。 “P→Q”为假当且仅当P为真而Q为假，其它情况P→Q为真。 P→Q也称为P蕴含Q。 EX10：如果你今年离散数学考100分，那么就奖励你100元。 P：你今年离散数学考100分。 Q：奖励你100元。 P→Q：如果你今年离散数学考100分，那么就奖励你100元。 因此复合命题 “如果p则q ” ； “若p就q”； “只要 p就q”； “ p 仅当q”； “只有 q 才p”； “除非q, 才p ”；， “除非q, 否则非p”； 等都可以符号化为p?q 的形式。 思考：设 p:天冷，q:小王穿羽绒服， 将下列命题符号化 (1) 只要天冷，小王就穿羽绒服. (2) 因为天冷，所以小王穿羽绒服. (3) 若小王不穿羽绒服，则天不冷. (4) 只有天冷，小王才穿羽绒服. (5) 除非天冷，小王才穿羽绒服. (6) 除非小王穿羽绒服，否则天不冷. (7) 如果天不冷，则小王不穿羽绒服. (8) 小王穿羽绒服仅当天冷的时候. 5、等价联结词 EX11： “张三能考90分当且仅当李四也能考90分。” P ：“张三考90分。” Q ：“李四考90分。” 设P、Q为两个命题，复合命题“P当且仅当Q”称为P、Q的等价式，记为P?Q，“?”称为等价联结词。 P?Q为真当且仅当P与Q同时为真或同时为假。 注意 上述五个联结词来源于日常使用的相应词汇，但并不完 全一致，在使用时要注意： 以上联结词组成的复合命题的真假值一定要根据它们的 定义去理解，而不能根据日常语言的含义去理解。 不能“对号入座”，如见到“或”就表示为“∨”。 见到“和”就表示为“∧”。 有些词也可表示为这五个联结词，如