《命题与联接词 .pptVIP

命题逻辑1-1命题与联接词 湖北汽车工业学院计算机工程系彭彬 概述 离散量： 与连续量相对，指分散开来，不存在中间值的量。 温度采集器所采集的温度变化结果 离散数学： 数学分支，以研究离散量的结构和相互间的关系为主要目标。 研究对象一般为有限个或可数无穷个元素 集合论、组合数学、数论、图论、数理逻辑、线性代数、概率论 逻辑学： 研究人的思维形式和规律的科学。基于研究对象和研究方法的不同，分为： 形式逻辑 辩证逻辑 数理逻辑 数理逻辑： 用数学方法研究推理的科学 又称符号逻辑，它的主要研究工具是符号体系； 核心是把逻辑推理符号化，即变成像数学演算一样的逻辑演算。 第一章 命题逻辑 1-1 命题及其表示法 定义 1-1.1 命题： 可以辨别真假的陈述句称为命题。 能对事物作出肯定或否定描述（或判断）的语句只有陈述句 如果陈述句对事物的判断具有确定的结果：符合事实或违背事实，也即可辨别真假，这时陈述句才是命题。这个结果是命题的一个“值”，称为命题的真值。 定义 1-1.2 真值： 命题总是具有一个“值”，称为真值。 真值只有“真”、“假”两种，记作True(真)和False(假)，分别用符号T和F表示；也可用符号1和符号0表示。 例1： (1) 不在同一直线上的三点确定一个平面。 (T) (2) 煤是白的。 (F) （1）、（2）均是命题。 例2：别的星球上有生物。 到目前为止，人们还不能判断别的星球上是否有生物，但也许将来的人可以判断，并且只能是别的星球上有生物或没有两种情况之一。因此是命题。 例3： (1) 全体立正！ (2) 明天是否开大会？ (3) 天气多好啊！ 以上祁使句、疑问句、感叹句都不是命题。 例4： 1） 本命题为假。 这是悖论，没有确定的真值，不是命题。 例5： 1+101=110 在二进制中为真，在十进制中为假，需根据上下文才能确定真值。故也是命题。 由这些例子我们知道：有确定真值的陈述句是命题。 例5： 1+101=110 在二进制中为真，在十进制中为假，需根据上下文才能确定真值。故也是命题。 判断命题的两个步骤： （1）是否为陈述句； （2）是否有确定的、唯一的真值。 理解： （1）只有具有确定真值的陈述句才是命题。一切没有判断内容的句子，无所谓是非的句子，如感叹句、祁使句、 疑问句等都不是命题。 （2）因为命题只有两种真值，所以“命题逻 辑”又称 “二值逻辑”。 （3）“具有确定真值”是指客观上的具有，与我们是否知道它的真值是两回事。如： 明年的十月一日是晴天。是命题，其真值到明年十月一日方可知道。 别的星球上有生物。 是命题，客观上能判断真假 定义 1-1.3 原子命题和复合命题： 不能分解为更简单的陈述语句称为原子命题。 由联结词、标点符号和原子命题复合构成的命题称为复合命题。如： 如果天气好，那么我去散步 我学英语，或者我学日语 在数理逻辑中，我们使用大写字母A，B，…，P，Q，…，或用带下标的大写字母或用数字表示命题，俗称命题标识符。 例如： P：今天下雨。 [12]：今天下雨。 A1：今天下雨。 P、 [12]和 A1称为命题标识符。 定义1-1.4 命题常量和命题变元： 如果一个命题标识符表示确定的命题，就称为命题常量。 如果一个命题标识符只表示任意命题的位置标志，就称为命题变元。 命题变元可以表示任意命题，所以它不能确定真值，故命题变元不是命题。 1-2 联结词 为了描述事物，自然语言引进很多联接词，如“或”、“与”等，但如何使用缺乏严格规定。 数理逻辑中，复合命题由原子命题与逻辑联接词组合而成，为了表述和推理的准确，需对联接词作出明确的规定，并符号化。 (1) 否定 定义1-2.1 否定： 对应自然语言中的“非”，用“?”表示。 设P为一个命题，P的否定是一个新的命题，记作? P。 读作“非P”。 (1) 否定 例 P：上海是个大城市。 ? P：上海并不是个大城市。 ? P：上海是个不大的城市。 否定联结词是一个一元运算。 例 P:这些都是男生 ?