[离散数学课件-谢美萍]第6章数理逻辑.pptVIP

第三篇 数理逻辑 数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法来描述和处理思维形式的逻辑结构及其规律，从而把对思维的研究转变为对符号的研究。这样不但可以避免自然语言的歧异性，还可以将推理理论公式化。简而言之，数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。 本篇主要介绍： 命题逻辑 命题与命题联结词 命题公式与真值表 命题公式的等价关系和蕴涵关系 命题公式的范式表示 命题演算的推理理论 一阶谓词逻辑 一阶逻辑基本概念（谓词、个体、量词） 谓词公式及其解释 谓词公式之间的关系与范式表示 谓词演算的推理理论 第六章 命题逻辑 本章主要内容介绍： 命题是逻辑学研究的出发点，命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法，即命题是推理的基本单位。因此，首先要分清什么是命题，什么不是命题，以及如何表示命题。 本章中主要介绍 命题与命题联结词 命题公式与真值表 命题公式的等价关系和蕴涵关系 范式 命题演算的推理理论 6．1 命题与命题联结词 6.1.1命题与真值 定义6.1具有具体意义的又能判断它是真还是假的陈述句，称为命题 . 命题的定义中包含两层含义： （1）命题必须是能判断真和假陈述句。疑问句、祈使句 和感叹句等均不是命题。 （2）命题的真或假两种结果有且仅有一种出现。 陈述句为真或为假的这种性质，称为命题的真值。 例6.1 判断下面的句子是否是命题： （1）中国的首都在北京。 （2）海洋的面积比陆地的面积大。 （3）离散数学是计算机科学系的一门必修课。 （4）三角形的三个内角之和为180。 （5）请勿吸烟！ （6）我们要努力学习！ （7）今天是星期天吗？ （8）雪是黑的。 （9）2+3?5。 （10）我正在说假话。 解 （1）、（2）和（3）是真命题。 （4）在欧几里得几何学是真命题，在非欧几里得几何学是假命题。 （5）和（6）是祈使句，因此不是命题。 （7）是疑问句，因此不是命题。 （8）和（9）是假命题。 （10）不是命题，是悖论。 命题常元和命题变元 例6.2 A：“ 中国的首都在北京。” B：“上海是个美丽的城市。” P：z = x+y 其中：A和B是命题常元，P是命题变元 。 命题常元：表示具体确定内容的命题，即命题常元 有确定的真值。 命题变元 ：没有意义的、没有赋予具体内容的抽象命题。 解释或赋值 ：用一个具体命题代入命题变元标识符的过程。 简单命题和复合命题 简单命题：若一个命题是一个简单的陈述句。 复合命题：由若干个原子命题经过联结词复合而 成的陈述句。 例如： 如果明天是晴天，那么我去新华书店。明天是晴天与我去新华书店是两个原子命题，经过联结词如果…，那么…，复合构成一个复合命题。 6.1.2 命题联结词 在命题演算中也有类似日常生活中的的联结词，称为命题联结词。下面介绍五种常用的命题联结词及相应的真值表。 否定词, ┐ 合取词，∧ 析取词，∨ 蕴涵词，? 等价词，? 1.否定词“?” 符号“?”，读作“非”或“否定” 。设命题为Ｐ，则在Ｐ的前面加否定词? ，变成?Ｐ，构成的复合命题为P的否命题，读做“Ｐ的否定”或“非Ｐ”。?Ｐ为真当且仅当Ｐ为假。?Ｐ的真值表如表6.1.1所示。 表6.1 例6.3 P：“上海是一座美丽的城市。” ?Ｐ：“上海不是一座美丽的城市。” 例6. 4 Ｑ：“地球是圆的。” ?Ｑ： “地球不是圆的。” 例6. 5 R：“每一种生物均是动物。” ? R：“有一些生物不是动物。” 这里?R不能表示成“每一种生物都不是动物”，因为原命题R是一个假命题，真值为“0”，如果将?R表示成“每一种生物都不是动物”，则?Ｑ也是假命题了，就不能构成是对R的否定了，也就不能成为R的否命题了。 注：对量化命题的否定，除对动词进行否定外，同时对量化词也要加以否定。 逻辑否定词“?”是一个一元运算，它的意义是“否定”被否定命题的全部，而不是否定部分。 否定的性质： 双重否定