《离散数学教学资料》离散第一章.ppt

离散数学(Discrete Mathematics) 第一章 命题逻辑(Propositional Logic) 1.1 命题及其表示方法(Proposition and Its Expression) 1.2逻辑联结词 (Logical Connectives) 1.3 命题公式与翻译 1.4真值表与等价公式（ Truth Tables and Prepositional Equivalences ） 1.5重言式与蕴涵式（ Tautology and Implication） 第一章 命题逻辑(Propositional Logic) 1.6其它联结词(Other Connectives) 1.7对偶与范式(Dual Normal Form) 1.8推理理论（ Inference Theory） 第一章 命题逻辑（Propositional Logic）1.1 命题及其表示方法 1.1.1 命题（Proposition) 1.1.2 命题的表示方法 1.1.3 命题的分类 第一章 命题逻辑（Propositional Logic）1.1 命题及其表示方法 1.1.1 命题 数理逻辑研究的中心问题是推理（inference),而推理的前提和结论都是表达判断的陈述句，因而表达判断的陈述句构成了推理的基本单位。 基本概念 命题：能够判断真假的陈述句。 命题的真值：命题的判断结果。命题的真值只取两个 值:真（用T(true)或1表示）、假（用F(false)或0表示）。 真命题：判断为正确的命题，即真值为真的命题。 假命题：判断为错误的命题，即真值为假的命题。 第一章 命题逻辑（Propositional Logic）1.1 命题及其表示方法 因而又可以称命题是具有唯一真值的陈述句。 判断命题的两个步骤： 1、是否为陈述句； 2、是否有确定的、唯一的真值。 例：判断下列句子是否为命题。 (1). 100是自然数。 T (2). 太阳从西方升起。 F (3). 3+3=8 . F 第一章 命题逻辑（Propositional Logic）1.1 命题及其表示方法 (4). How do you do ? 疑问句，不是命题 (5). 明年的十月一日是晴天。是命题，其真值到明年 十月一日方可知道。 (6). x+39 不是命题 (7). 我正在说谎。是悖论 (8). 1+101=110 二进制中为真，十进制中为假。 (9). 如果太阳从西方升起，那么2是奇数。T (10). 国足能杀入2006世界杯当且仅当2+2=4。F 第一章 命题逻辑（Propositional Logic）1.1 命题及其表示方法 (11). 今天天气多好啊！ 感叹句，不是命题 (12). 请你关上门！ 祁使句，不是命题， (13). 别的星球上有生物。 是命题，客观上能判断真 假。 说明： （1）只有具有确定真值的陈述句才是命题。一 切没有判断内容的句子，无所谓是非的句子， 如感叹句、祁使句、疑问句等都不是命题。 第一章 命题逻辑（Propositional Logic）1.1 命题及其表示方法 （2） 因为命题只有两种真值，所以“命题逻辑”又称 “二值逻辑”。 (3) “具有确定真值”是指客观上的具有，与我们是否知道它的真值是两回事。如上例中的（5）和（13）。 1.1.2 命题的表示方法 在本书中，用大写英文字母A,B,…,P,Q或带下标的字母P1,P2,P3 , …,或数字(1),[2], …,等表示命题，称之为命题标识符。 第一章 命题逻辑（Propositional Logic）1.1 命题及其表示方法 例如： P：罗纳尔多是球星。 Q：5是负数。 P3：明天天气晴。 (2)：太阳从西方升起。 皆为符号化的命题，其真值依次为1、0、1或0、0。 命题标识符又有命题常量、命题变元和原子变元 之分。 命题常量：表示确定命题的命题标识符。 第一章 命题逻辑（Propositional Logic）1.1 命题及其表示方法 命题变元：命题标识符如仅是表示任意命题的位置标 志，就称为命题变元。 原子变元：当命题变元表示原