4数理逻辑课件.pptVIP

等价“ ” 真值表： 1 1 1 0 0 1 0 1 0 1 0 0 （5） 定义：设 p 、 q 为任 意两个 命题，复合命题“ p 当且仅 当 q ”称为 p 与 q 的等价 式，记做 ： q p ? 日常语言： “ …当且仅当 … ” ， “ …是 … 的充要条件 ” 的逻辑关系为 与 互为充分必要条件。 关于基本联结词的说明 本书规定的联结词优先顺序为：( )，┐，∧， ∨，→， ?，对于同一优先级的联结词，先出现者 先运算。 不能被分解成更简单的陈述句的命题称为简单命题或原子命题。 由简单命题用联结词联结而成的命题称为复合命题。 陈述句分为简单句和复合句，相应地， 命题分为简单命题和复合命题。 复合命题总可以分解为简单命题用联结词联结的形式。 复合命题符号化 在对一个复合命题符号化时，首先找出其各个 简单命题，分别符号化；其次找出联结词，再把各 简单命题联接起来。 复合命题的真值只取决于各简单命题的真值， 而与它们的内容含义及相互之间内容上的联系无关。 例：6是偶数当且仅当李明是班长 例1：将下列命题符号化。 （1）3不是偶数。 （2）小王是三好学生，但不是优秀团员。 （3）派小王或小张值班。 （4）如果天下雨，小李就打车。 例2：将下列命题符号化。 （1）如果我下班早，我就去逛街，除非我很累。 （2）6是偶数当且仅当李明不是班长。 （3）只要我有时间，我就去图书馆或者参加体育运动。 例3. 设 是素数. 是无理数. 求下列命题的真值： 讲解P203习题1、2、3 引例2：逻辑游戏 有一逻辑学家误人某部落，被拘于牢狱，酋长意欲放行，他对逻辑学家说：“今有两门，一为自由，一为死亡，你可任意开启一门。为协助你逃脱，今加派两名战士负责解答你所提的问题，此两名战士中一名天性诚实，一名说谎成性，今后生死由你自己选择。”逻辑学家沉思片刻，即向一战士发问，然后开门从容离去。 请问：逻辑学家发问的问题是什么？ 阿基里斯悖论 阿基里斯是古希腊神话中善跑的英雄（也就是“特洛伊战争”中那个著名的希腊将领）。在他和乌龟的竞赛中，他速度为乌龟十倍，乌龟在前面100米跑，他在后面追，但他不可能追上乌龟。因为在竞赛中，追者首先必须到达被追者的出发点，当阿基里斯追到100米时，乌龟已经又向前爬了10米，于是，一个新的起点产生了；阿基里斯必须继续追，而当他追到乌龟爬的这10米时，乌龟又已经向前爬了1米，阿基里斯只能再追向那个1米。就这样，乌龟会制造出无穷个起点，它总能在起点与自己之间制造出一个距离，不管这个距离有多小，但只要乌龟不停地奋力向前爬，阿基里斯就永远也追不上乌龟！ * * * 举一个例子让学生明白什么是蕴含的真值情况 公务员考试及软件企业招聘时经常遇到类似的推理题 让学生回去思考，待本章结束后再揭晓答案 问：“这扇门是死亡门，他(指另一名战士)将回答是，对吗?” 分析：当被问战士回答“对”，则逻辑学家开启所指的门从容离去；当被问战士回答“否”，则逻辑学家将开启另一扇门从容离去。 * 让学生回去思考，待上完极限的思想后再解释 * * 稍微介绍数理逻辑的发展史，引入对数理逻辑发展有影响的有趣的悖论 悖论指在逻辑上可以推导出互相矛盾之结论，但表面上又能自圆其说的命题或理论体系。悖论的出现往往是因为人们对某些概念的理解认识不够深刻正确所致。 悖论的成因极为复杂且深刻， 对它们的深入研究有助于数学、逻辑学、语义学等等理论学科的发展，因此具有重要意义。 其中最经典的悖论包括罗素悖论、说谎者悖论、康托悖论等等。 悖论的定义可以这样表述：由一个被承认是真的命题为前提，设为B，进行正确的逻辑推理后，得出一个与前提互为矛盾命题的结论非B；反之，以非B为前提，亦可推得B。那么命题B就是一个悖论。当然非B也是一个悖论。 * * （1）小于关系 （2）大于或等于关系 例：设集合 ，试给出集合A上的 课后作业 P84 第 5、6、7、8、9 你让工人为你工作7天，回报是一根金条，这个金条平分成相连的7段，你必须在每天结束的时候给他们一段金条。如果只允许你两次把金条弄断，你如何给你的工人付费? 思考：如何分金条？ 数理逻辑基础 数理逻辑是计算科学的重要基础之一，在计算机 科学中有许多应用，如计算机程序设计、程序正确性 证明和自动推理系统等。 第二节 数理逻辑初步 一、命题及其符号化 二、命题公式与公式等值 三、命题逻辑基本推理 四、数理逻辑应用举例 引例1：将下面Ｃ程序段化简 if (A) { if (B)