01命题逻辑基本概念..pptVIP

数理逻辑部分 数理逻辑发展历史简介 1642年,法国数学家 B.Pascal 设计了世界上第一台计算机. 1645年, B.Pascal制造出加法机.在法国卢森堡宫展览，引起轰动。 1673年，德国数学家、哲学家、思想家莱布尼兹(Leibniz)把加法机改进成了乘法机。同时在计算机科学上作出了更重要的贡献——发明了二进制数。 这两台机器给这两个数学家和思想家很大的启示。 Pascal——把人的思维交给机器去实现的可能性（思维机械化）。 这种机器所进行的工作，比动物的行为更接近人的思维。 —— B.Pascal 《沉思录》 数理逻辑发展历史简介 莱布尼兹一生相信逻辑，推崇数学。提出用数学方法处理演绎逻辑、把推理变成逻辑演算的思想(即要把逻辑学数学化)。像数学那样在逻辑学里也提出一个特殊的符号语言. 概念 符号 ；思维(推理) 符号计算 把逻辑数学化，就是数学逻辑（数理逻辑）。 19世纪英国数学家布尔建立了“命题逻辑代数” 描述人的逻辑思维的命题逻辑推理,把莱布尼兹的部分思想变为现实。 1879年，(德)弗雷格把数学里的函数概念引入命题逻辑创造了一个更大的逻辑—谓词逻辑，在此基础上，数理逻辑发展成为一门新兴学科。 在人工智能、自动推理、机器证明等方面应用广泛。 简单推理 如果今年是2013年，则明年是2014年.明年是2014年，所以，今年是2013年. 若华盛顿是美国的首都，则多伦多是加拿大的首都.华盛顿是美国的首都，所以，多伦多是加拿大的首都. 第1章 命题逻辑基本概念 1.1 命题与联结词 称能判断真假而不是可真可假的陈述句为命题（proposition）。 作为命题的陈述句所表达得的判断结果称为命题的真值。 真值只取两个：真与假。 真值为真的命题称为真命题。 真值为假的命题称为假命题。 例1.1 判断下列句子是否为命题 4是素数。 x大于y。 火星上有水。 2050年元旦是晴天。 请不要吸烟！ 这朵花真美丽啊！ 我正在说假话。 命题和真值的符号化 用小写英文字母p,q,r…,pi ,qi ,ri …表示原子命题 用“1”表示真，用“0”表示假 例1.2 定义1.1 否定(negation) 设p为命题，复合命题“非p”(或“p的否定”)称为p的否定式,记作┐p，符号┐称作否定联结词，并规定┐p为真当且仅当p为假。 定义1.2 合取(conjunction) 设p,q为二命题，复合命题“p并且q”(或“p与q”)称为p与q的合取式，记作p∧q，∧称作合取联结词，并规定p∧q为真当且仅当p与q同时为真。 使用合取联结词时要注意的两点： 描述合取式的灵活性与多样性。自然语言中的“既……又……”、“不但……而且……”、“虽然……但是……”、“一面……一面……”等联结词都可以符号化为∧。 分清简单命题与复合命题。不要见到“与”或“和”就使用联结词∧。 例1.3 将下列命题符号化 吴颖既用功又聪明。 吴颖不仅用功而且聪明。 吴颖虽然聪明，但不用功。 张辉与王丽都是三好学生。 张辉与王丽是同学。 合取举例 p：我们去看电影。 q：房间里有十张桌子。 p∧q：我们去看电影并且房间里有十张桌子。 定义1.3 析取(disjunction) 设p，q为二命题，复合命题“p或q”称作p与q的析取式，记作p∨q，∨称作析取联结词，并规定p∨q为假当且仅当p与q同时为假。 例1.4 将下列命题符号化 张晓静爱唱歌或爱听音乐。 张晓静只能挑选202或203房间。 张晓静是江西人或安徽人。 他昨天做了二十或三十道习题。 定义1.4 蕴涵(implication) 设p，q为二命题，复合命题“如果p，则q”称作p与q的蕴涵式，记作p→q，并称p是蕴涵式的前件，q为蕴涵式的后件，→称作蕴涵联结词,并规定p→q为假当且仅当p为真q为假。 关于蕴含的进一步说明 例1.5 将下列命题符号化，并指出其真值 以下命题中出现的a是一个给定的正整数： (6) a能被4整除，仅当a能被2整除。 (7) 除非a能被2整除， a才能被4整除。 (8) 除非a能被2整除， 否则a不能被4整除。 (10)只有a能被4整除， a才能被2整除。 定义1.5 等价(two-way-implication) 设p，q为二命题，复合命题“p当且仅当q”称作p与q的等价式，记作p?q， ?称作等价联结词，并规定p?q为真当且仅当p与q同时为真或同时为假。 例1.6 将下列命题符号化，并讨论它们的真值 π是无理数当且仅当加拿大位于亚洲。 （3）若两圆A，B的面积相等，则它们的半径相等；反之亦然。 关于基本联结词的说明 {┐,∧,∨,→,?}，称为一个联结词集。