离散数学课件：1-1 命题的概念及其符号化（含过程化考核要求）.ppt

关于P ? Q真值表的注解 在自然语言中，“如果P，那么Q”中的前件P与后件Q往往具有某种内在联系. 而在数理逻辑中， P与Q可以无任何内在联系. 例如： 如果雪是黑的，那么太阳从西方出来. 在数学或其它自然科学中，“如果P，那么Q”往往表达的是前件P为真，后件Q也为真的推理关系. 但在数理逻辑中，作为一种“善意推定”的规定，当P为假时，无论Q是真是假， P ? Q均为真. 也就是说，只有 P为T并且 Q为F这一情况，才能使得复合命题P ? Q为F. 什么是“善意的推定”？ 一、命题的概念及其符号化 善意的推定 例1.1.7 张三对李四说：“我去图书馆，一定帮你借那本书”. 可以将这句话表示为命题P ? Q(P: 张三去图书馆，Q: 张三借那本书). 后来张三因有事未去图书馆，即P为F，此时按规定P ? Q为 我们可理解为张三讲了真话，即他要是去图书馆，我们相信他一定会帮李四借书. 这就是所谓“善意的推定”. T. 一、命题的概念及其符号化 例1.1.8 将下列命题符号化： (1)只要天不下雨，我就骑自行车上班. (2)只有天不下雨，我才骑自行车上班. 解： 设P: 天下雨，Q: 我骑车上班. (1) (天不下雨是骑车上班的充分条件.) (2) (如果骑车上班，一定天不下雨.) ? P ? Q. Q ? ? P或 P ? ? Q. 一、命题的概念及其符号化 例1.1.9 将下列命题符号化： (1)除非天气好，否则我不会去公园的. (2)我将去镇上，仅当我有时间时. 解： 设P:今天天气好，Q: 我去公园. (1)含义：我去公园必定是天气好，至于天气好是否去公园，在命题中没有涉及. Q ? P. P ? Q. (2)设P:我将去镇上，Q: 我有时间. 一、命题的概念及其符号化 注 以下句式均可符号化P ? Q： “如P，则Q”； “因为P，所以Q”； “只要P，就Q”； “P，仅当Q”； “只有Q，才P”； “除非Q，才P”； “除非Q，否则非P”. (除非天气好，否则我不会去公园的.) (我将去镇上，仅当我有时间时.) (只有天不下雨，我才骑自行车上班.) 一、命题的概念及其符号化 双条件 (two-way-implication)? 给定两个命题P和Q，其复合命题P ? Q称作双条件命题，读作 “P当且仅当Q”. P ? Q真值为T，当且仅当 P和Q同时为T，或同时为F. 双条件联结词也可以记作”iff”. P Q P ? Q T T T T F F F T F F F T 一、命题的概念及其符号化 例1.1.10 分析下列各命题的真值： (1)2+2=4，当且仅当3是奇数. (2)2+2=4，当且仅当3不是奇数. (3)2+2?4，当且仅当3是奇数. (4)2+2 ? 4，当且仅当3不是奇数. 解： 设P:2+2=4，Q: 3是奇数. (1) P ? Q， 真值为T(因P, Q皆为真)； (2) P ? ? Q， 真值为F(因P为真，?Q为假)； (3) ? P ? Q， 真值为F(因? P为假, Q为真)； (4) ? P ? ? Q， 真值为T(因? P, ? Q皆为假). 一、命题的概念及其符号化 例1.1.11设P:天下雨，Q: 草木枯黄，则 天不下雨； ? P: ? P ? Q: ? P ? Q: ? P ? Q: ? P ? Q: 天不下雨并且草木枯黄； 天不下雨或草木枯黄； 如果天不下雨，那么草木枯黄； 天不下雨当且仅当草木枯黄. 一、命题的概念及其符号化 其中, P:我很累. Q: 我上街. R: 我去书店看看. 张三不是不聪明，而是不用功. (2) 李文与李武是兄弟. (3) 只有睡好觉才能消除疲劳. (4) 除非你努力，否则你将失败. (5) 如果我上街，我就去书店看看，除非我很累. 解： 其中, P: 张三聪明. Q: 张三用功. (1) ?(? P) ? ? Q, 其中, P:李文与李武是兄弟.(原子命题) (2) P , 其中, P:睡好觉. Q: 消除疲劳(P 是Q的必要条件.) (3) Q ? P , 其中, P:你努力. Q: 你将失败. (4) ? Q ? P, (5) ? P ? (Q ? R) . 例1.1.12 符号化下列命题： 一、命题的概念及其符号化 小结 命题是客观上能判断真假的陈述句. 当命题为真时，称命题的真值为“真”；否则，称命题的真值为“假”. 析取联结词?指的是“可兼或”；而汉语中的“或”既可用于“可兼或”，也可用于“排斥或 ” . 复合命题P ? Q表示的逻辑关系是：Q是P的必要条件，P是Q的充分条件. 在数学中，”如P，