1-1命题及其表示法1-2联结词.pptVIP

第一篇　数理逻辑??? 实际应用举例 1、一家航空公司，为了保证安全，用计算机复核飞行计划。每台计算机能给出飞行计划正确或有误的回答。由于计算机也可能出现故障，因此采用三台计算机同时复核。由所给答案，再根据“少数服从多数”的原则做出判断，试将结果用命题公式表示，并加以简化，画出电路图。 2、设计一个包含三个开关的开关电路，使得当且仅当有两个或两个以上的开关接通时，信号灯亮。 实际应用举例 3、 在某次研讨会的休息时间，3名与会者根据王教授的口音分别作出下述判断： 甲说：王教授不是苏州人，是上海人。 乙说：王教授不是上海人，是苏州人。 丙说：王教授不是上海人，也不是杭州人。 已知一个人说得全对，一个人说得对了一半，一个人说得全错，试用逻辑演算法判断王教授是哪里人？ 实际应用举例 4、 一个公安人员审查一件盗窃案，已知下列事实： （1）甲或乙盗窃了录像机； （2）若甲盗窃了录像机，则作案时间不能发生在午夜前； （3）若乙的证词正确，则午夜时屋里灯光未灭； （4）若乙的证词不正确，则作案时间发生在午夜前； （5）?午夜时屋里灯光灭了。 问盗窃录像机的是甲还是乙？ 要回答这样的问题，实际上需要经历如下推理过程： ????(1) 什么是前提？有哪些前提？ ????(2) 结论是什么？ ????(3) 根据什么进行推理？ ????(4) 怎么进行推理？ 逻缉学是一门研究思维形式及思维规律的科学。逻辑规律就是客观事物在人的主观意识中的反映。??? 逻辑学分为辩证逻缉与形式逻辑两种，前者是以辩证法认识论的世界观为基础的逻辑学，而后者主要是对思维的形式结构和规律进行研究的类似于语法的一门工具性学科。 思维的形式结构包括了概念、判断和推理之间的结构和联系，其中概念是思维的基本单位，通过概念对事物是否具有某种属性进行肯定或否定的回答，这就是判断；由一个或几个判断推出另一判断的思维形式，就是推理。 研究推理有很多方法，用数学方法来研究推理的规律称为数理逻辑，即通过引入表意符号研究推理，因此，数理逻辑又名符号逻辑。 ?? 现代数理逻辑可分为证明论、模型论、递归函数论、公理化集合论等，这里介绍的是数理逻辑最基本的内容：命题逻辑和谓词逻辑。 命题逻辑，也称命题演算。它与谓词逻辑构成数理逻辑的基础，而命题逻辑又是谓词逻辑的基础。 逻辑学的早期创始人 亚里士多德 （前384—前322年）， 被公认是逻辑学的创始人。 柏拉图 （前427—前347年）， 将逻辑学思想方法引入几何学。 苏格拉底 （前469—前399年）， 西方哲学的奠基者。 第一章　命题逻辑??? ? 一、学习目的与要求 本章目的是介绍命题逻辑的基本概念。掌握利用命题逻辑表示自然语言，描述概念、判断和推理。建立初步的语言形式化方法。 ?二、知识点 1．命题的概念、表示方法；联结词的逻辑意义。 2．命题公式的递归定义，自然语言翻译成命题公式 3．真值表的构造、命题公式等价的概念。 4．重言式与蕴涵式的定义、逻辑意义，逻辑等价与逻辑蕴涵的意义和证明方法。常用的逻辑等价公式和逻辑蕴涵公式。 5．命题公式的对偶式、合取范式、析取范式、主合取范式、主析取范式。逻辑小项、逻辑大项。 6．命题逻辑的推理理论，主要的推理方法：真值表法、直接证明法、间接证明法。常用推理规则：P规则、T规则、CP规则。 7．命题逻辑的应用示例。 ?三、要求 1．识记: 命题表示方法、真值判断、命题公式的递归定义。 2．领会: 联结词真值确定、翻译、命题公式的等价性和蕴涵性证明、任给公式化为析取范式、任给公式化为主析取范式、任给公式化为合取范式、任给公式化为主合取范式。 3．简单应用: 命题逻辑推理规则。 第一章 学时安排 10学时，共5讲 1—1 命题及其表示法 本节要深刻理解下列概念（9个）： 命题、真值、 原子命题 、复合命题 、命题标识符、命题常量、 命题变元、原子变元、指派 一、命题 1、定义 能表达判断的陈述句称作命题（Proposition）。 例：判断下列语句是否为命题: (1)海洋的面积比陆地的面积大。 (2)你今年暑假去旅行吗？（疑问句） (3)1＋1=10。 (4)三角形的三内角之和小于180度。 (5) 2x-3=0。 (6)克里特岛人说：“克里特岛人都是说谎话者”。（说谎者悖论） 2、真值 命题所表达的判断结果称为命题的真值。真值只有“真”和“假”两种，记作True（真）和False（假），分别用符号T和F表示。 下面的语句中，哪些语句是命题，如果是命题，指出