第3章 命题逻辑.pptVIP

日常语言叫做自然语言。 自然语言丰富，但是也有模棱两可的特性。 小朱和小张在寝室聊天，小李破门而入，小朱感叹：“说曹操曹操到。”（经典问题）?? 1、请问是谁来了? A、小朱? B、小张? C、小李D、曹操 2、门破了没有？ A、破了? B、没破 一个风和日丽的早晨，Summer跑过来对小王说：“好激动啊，刚刚捡到了100块钱啊！”小王说：“天上掉馅饼的事，你都遇到了！”请问：天上在下着什么？ A、小雨? B、钱 C、没下 D、馅饼 需要引入一种形式化语言——单一、明确 这种形式化语言在数理逻辑中叫做目标语言 目标语言和一些规定的公式与符号构成了数理逻辑的形式符号体系。 1.否定联结词 设p为命题，则p的否定是一个复合命题，记作：? p ，读作“非p”或“p的否定”。定义为：若p真值为1，则? p为0；若p为0，则? p的真值为1。 联结词“?”也可以看作逻辑运算，它是一元运算。 【例】否定下列命题。 p ：王强是一名大学生。 ? p ：王强不是一名大学生。 2. 合取联结词 定义1.1.2设p和q均为命题，则p和q的合取是一个复合命题，记作p∧q ，读作“p与q”或“p合取q”。 定义为：当且仅当p和q均为1时，p∧q的真值才为1，其他情况p∧q 的真值都为0。 p：2是素数。（真值？） q：2是偶数。（真值？） 则p∧q表示： 2是素数和偶数 由于p，q的真值均为1，所以p∧q的真值也为1。 合取的概念与自然语言中的“与”“和”“并且”的意义很相似，但是不完全相同 小王是大学生，小张是大学生。 两个命题的合取为小王和小张都是大学生 但是对于命题“小王与小张是好朋友”。这个就不是命题的合取，而是一个普通命题。 p：我去旅游 q：教室里面有电视 p∧q：我去旅游并且教室里面有电视 自然语言中，上述命题合取没有任何意义。 但是在数理逻辑中， p∧q仍然是一个命题。满足合取的真值定义 练习:将下列命题符号化 张三既用功又聪明 p：张三用功 q：张三聪明 p ∧ q 张三不仅用功又聪明 p：张三用功 q：张三聪明 p ∧ q 张三虽然聪明，但不用功 p：张三用功 q：张三聪明 q ∧ ? p 张三与李四是同班同学 t：张三与李四是同班同学 简单陈述句，t是原子命题 3. 析取联结词 定义设p和q均为命题，则p和q的析取是一个复合命题，记作p∨q，读作“p或q”或者“p析取q”。定义为：当且仅当p和q真值均为0时， p∨q真值才为0。其他情况p∨q真值都为1 联结词“∨”也可以看成逻辑运算，它是二元逻辑运算 p：张山是大学生 q：张山是篮球运动员 p∨q的语义： 张山是大学生 或者张山是篮球运动员 “∨”与汉语中的“或”相似，但又不相同。 分析下列两个命题中的“或”，有什么区别？ ⑴今晚9点，中央一台播放“雍正王朝”或者转播足球比赛 (不可兼) ⑵灯泡有故障或开关有故障。 (可兼, “∨”是可兼或) 汉语中的或有可兼或与不可兼或(排斥或)的区分。 今晚9点，中央一台播放“雍正王朝”或者转播足球比赛 p：今晚9点，中央一台播放“雍正王朝” q：今晚9点，中央一台转播足球比赛 (p ∧ ? q) ∨ (? p ∧ q) 此复合命题为真当且仅当p，q中一个为真一个为假 4. 排斥析取词 定义: 设定p，q，则“p排斥析取q”也是一种命题，记作p q。 5. 条件联结词 定义:设p和q均为命题，复合命题”如果p，则q”，称为p与q的蕴含式，记为：p→q。读作“如果p，那么q”或“若p，则q”。 p是蕴含式的前件，q为蕴含式的后件 真值定义为：当且仅当p为1，q为0时， p→q才为0。 p→q的逻辑关系为q是p的必要条件 使用→，注意几点： (1)q是p的必要条件有许多不同叙述方式： ”只要p就q”, ”因为p，所以q”, ”p仅当q”, ”只有q才p”, ”除非q才p”, ”除非q，否则非p”等等 (2)在自然语言中，如果p则q，前件p与后件q往往具有某种内在联系。但是在数理逻辑中，p与q可以无任何内在联系 (3)在数学或其他自然科学中，如果p则q，往往表达前件p为真，后见q也为真的推理关系。但是在数理逻辑中，作为一种规定，当p为假时，无论q是真是假， p→q均为真。 自然语言中，前件为假，结论不管真假，整个语句的意义往往无法确定。 【例】 p：小王努力学习。q：小王学习成绩优秀。 p→q表示？ 如果小王努力学习，那么他的学习成绩就优秀。 如果小明学日语，小华学英语，则小芳学德语。 p：小明学日语 q：小华学英语 x：小芳学德语. 则原式可表示为：(p∧q)→x 5. 等价(双条件)联结词 定义：设p和q均为命题，其复合命题p?q称为双条件命题，读作