左孝凌离散数学.ppt

离散数学(Discrete Mathematics);第一部分 数理逻辑（Mathematical Logic);形式逻辑是研究思维的形式结构和规律的科学，它撇开具体的、个别的思维内容，从形式结构方面研究概念、判断和推理及其正确联系的规律。 数理逻辑是用数学方法研究推理的形式结构和推理的规律的数学学科。它的创始人Leibniz，为了实现把推理变为演算的想法，把数学引入了形式逻辑。其后，又经多人努力，逐渐使得数理逻辑成为一门专门的学科。 上个世纪30年代以后，数理逻辑进入一个崭新的发展阶段，逻辑学不仅与数学结合，还与计算机科学等密切关联。 ;*;1.1.1 命题 数理逻辑研究的中心问题是推理（inference),而推理的前提和结论都是表达判断的陈述句，因而表达判断的陈述句构成了推理的基本单位。 基本概念 命题：能够判断真假的陈述句。 命题的真值：命题的判断结果。命题的真值只取两个 值:真（用T(true)或1表示）、假（用F(false)或0表示） 。 真命题：判断为正确的命题，即真值为真的命题。 假命题：判断为错误的命题，即真值为假的命题。 ;因而又可以称命题是具有唯一真值的陈述句。 判断命题的两个步骤： 1、是否为陈述句； 2、是否有确定的、唯一的真值。 例：判断下列句子是否为命题。 (1). 100是自然数。 T (2). 太阳从西方升起。 F (3). 3+3=8 . F;(4). How do you do ? 疑问句，不是命题 (5). 明年的十月一日是晴天。是命题，其真值到明年 十月一日方可知道。 (6). x+3>9 不是命题 (7). 我正在说谎。是悖论 (8). 1+101=110 二进制中为真，十进制中为假。 (9). 如果太阳从西方升起，那么2是奇数。T (10). 国足能杀入2006世界杯当且仅当2+2=4。F ;(11). 今天天气多好啊！ 感叹句，不是命题 (12). 请你关上门！ 祁使句，不是命题， (13). 别的星球上有生物。 是命题，客观上能判断真 假。 说明： （1）只有具有确定真值的陈述句才是命题。一 切没有判断内容的句子，无所谓是非的句子， 如感叹句、祁使句、疑问句等都不是命题。 ;（2） 因为命题只有两种真值，所以“命题逻辑”又称 ??二值逻辑”。 (3) “具有确定真值”是指客观上的具有，与我们是否知道它的真值是两回事。如上例中的（5）和（13）。 1.1.2 命题的表示方法 在本书中，用大写英文字母A,B,…,P,Q或带下标的字母P1,P2,P3 , …,或数字(1),[2], …,等表示命题，称之为命题标识符。 ;例如： P：罗纳尔多是球星。 Q：5是负数。 P3：明天天气晴。 (2)：太阳从西方升起。 皆为符号化的命题，其真值依次为1、0、1或0、0。 命题标识符又有命题常量、命题变元和原子变元 之分。 命题常量：表示确定命题的命题标识符。 ;命题变元：命题标识符如仅是表示任意命题的位置标 志，就称为命题变元。 原子变元：当命题变元表示原子命题时，该变元称为 原子变元。 命题变元也用A,B,…,P,Q,P1,P2,P3 , …, 表示。 1.1.3 命题的分类： 简单/原子命题：不能分解为更简单的陈述语句的命题(如上例中的命题)。 复合命题：由简单命题通过联结词联结而成的命题。 联结词就是复合命题中的运算符。 ;注意： （1）一个符号(如P), 它表示的是命题常量还是命题变元，一般由上下文来确定。 （2）命题变元可以表示任意命题，它不能确定真值，故命题变元不是命题。这与“变数x不是数”是一样的道理。 小结：本节主要介绍了命题、命题的真值、原子命题、复合命题、命题标识符、命题常量、命题变元和原子变元的概念。重点理解和掌握命题、命题变元两个概念。 作业：P8 （1） ;*;*;*;*;*;*;*;*;*;*;*;注意：当P和Q客观上不能同时发生时，“P或Q”可以符号化为“P ∨ Q”。 例如：小王现在在宿舍或在图书馆。 设 P：小王现在在宿舍。Q：小王现在在图书馆。 则上述命题可符号化为：P ∨ Q。