2.1 2.2 逻辑联结词 命题公式.pptVIP

离散数学讲义第2章 命题逻辑 数理逻辑 数理逻辑是用数学的方法研究思维规律的一门学科。由于它使用了一套符号，简洁地表达出各种推理的逻辑关系，因此，数理逻辑一般又称为符号逻辑。 数理逻辑和计算机的发展有着密切的联系，它为机器证明、自动程序设计、计算机辅助设计等计算机应用和理论研究提供必要的理论基础。 古典数理逻辑：命题逻辑和谓词逻辑—是计算机科学很重要的数学基础。 现代数理逻辑：逻辑演算、证明论、公理集合论、递归论和模型论 。 数理逻辑的创始人--莱布尼茨(Leibniz, Gottfried Wilhelm) 1646-1716 15岁时，进了莱比锡大学学习法律，一进校便跟上了大学二年级标准的人文学科的课程，还广泛阅读了培根、开普勒、伽利略等人的著作，并对他们的著述进行深入的思考和评价。在听了教授讲授欧几里德的《几何原本》的课程后，莱布尼兹对数学产生了浓厚的兴趣。17岁时他在耶拿大学学习了短时期的数学，并获得了哲学硕士学位 。 26岁设计出世界第一台乘法器，被认为是现代机器数学的先驱者。 Leibniz之梦：有一天所有的知识，包括精神和无形的真理，能够通过通用的代数演算放入一个单一的演绎系统。 1693年，发现了机械能的能量守恒定律。 与牛顿并称为微积分的创立者。 系统阐述了二进制记数法，并把它和中国的八卦联系起来。 2.1 命题以及逻辑联结词 2.1.1 命题 所谓命题是指一句有真假意义的话。 例如：上海是中国最大的城市 今天是星期二 所有素数都是奇数 1+1=2 命题用大写英文字母P，Q，…，P1，P2，…，表示。 如果一个命题是真的，就说它的真值是1； 如果一个命题是假的，就说它的真值是0。 定义2.1.1 设P是一个命题，命题 “P是不对的”称为P的否定，记以?P，读作非P。?P是真的当且仅当P是假的。 例如：P：吉大是中国最大的大学。 ?P：吉大不是中国最大的大学。 定义2.1.2 设P，Q是两个命题，命题 “P或者Q”称为P，Q的析取，记以P?Q，读作P或Q。 规定P?Q是真的当且仅当P，Q中至少有一个是真的。 例如：P：今天下雨，Q：今天刮风， P?Q：今天下雨或者刮风。 注意 自然语言中的“或者”一词有两种用法： 1) “张三或者李四考了90分”, 表示两者可以同时成立。这是“可兼或”。 按照联结词“?”的定义，当P，Q都为真时，P?Q也为真，因此，“?”所表示的“或”是“可兼或”。 2) “我明天到北京出差或者到广州去度假”，表示的是二者只能居其一，不会同时成立。这是“不可兼或”。 “不可兼或” 不可以用?来表示. 表示为：(P??Q) ? (? P?Q) –异或 判断： （1）今天晚上我在家中看戏或去剧场看戏。 （2）他可能是100米或400米冠军。 （3）我第一节课上数学课或上英语课。 （4）李梅是三好学生或优秀团员。 （5）张三生于1987年或1988年。 （6）老王或小李有一个去上海出差。 （7）李明是软件学院的学生，他住在312室或 313室。 定义2.1.3 设P，Q是两个命题，命题 “P并且Q”称为P，Q的合取，记以P?Q，读作P且Q。 规定P?Q是真的当且仅当P和Q都是真的。 例如，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： 2?2=5，Q： 雪是黑的，于是，命题 “如果2?2=5，则雪是黑的”是真命题。 定义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 。 例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)?