离散数学讲授.pptVIP

§3.1逻辑学的概念 §3.２ 命题和逻辑联结词 §3.2.2 逻辑联结词 例1：你将一事无成，除非你努力。 如果你不努力，那么你将一事无成。令 ：你努力； ：你将一事无成。则命题符号化为： 。例2：只有天不下雨，我才骑自行车上班。 　如果我骑自行车上班，那么天不下雨。令 　　：天下雨； ：我骑自行车上班。则命题符号化为： 。 §3.3 命题符号化 §3.4命题公式 §3.5逻辑等价式和逻辑蕴涵式 §3.6 对偶与范式 §3.5.1 对偶 例：写出下列公式对偶式 *楚雄师范学院计科系 离 散 数 学 第三章 逻辑代数(上) 命题演算 §3.1逻辑学的概念 §3.2命题和逻辑联结词 §3.3命题符号化 §3.4命题公式 §3.6对偶与范式 §3.5 逻辑等价式和逻辑蕴涵式 章节介绍： 教学时数：12节 § 3.7推理理论 　　　　逻辑学是一门研究思维形式及思维规律的科学 例:如果今天是周一,则要进行离散数学 或C语言程序设计两门课中的一门的考试。 　如果C语言设计老师有会，则不考C语言程序设计。　　　　　　　　　　　　　　　　 　今天是周一。 　C语言程序设计老师又有会。 结论：今天要进行离散数学考试。 由于研究对象和方法的侧重点不同而分为 形式逻辑、辨证逻辑。 数理逻辑是用数学方法研究推理，是研究推 理中前提和结论之间的形式的科学，所谓推理就 是由一个或多个判断推出一个新判断的思维形式， 所谓数学方法就是要建立通用的符号语言和通用 的代数思想，在通用符号中实现语句的符号化， 推理过程表现为符号序列的变形，只要对符号体 系能作出明确的规定，就可以按照这些规定机械 地推理。 定义1 命题是指具有真假态的陈述句，具真 或具假二者必居其一，具真用1或 表示，具假 用0或 表示。 例1　　　　(1)今天是五一国际劳动节。 　　　　(2)飞碟是从外星来的。 　　　(3)太阳从西边升起。 　　　(4)１＋101=110　。 (5)全体立正！　　　　　　 　　(6)他去北京吗　? 　　 §3.２ .1 命题 注１:命题的真值是客观存在且唯一的,与我们的 感觉或是否知道是真是假无关。　　　 注２：命题的真值通常与命题论及的范围、 时间和空间有关。　　　　　　 　注3：（9）、（1２）是矛盾句，不 是命题。 注4：一个陈述句不具有真假态，就不是命题。如例1（12）、 （９） 定义2 除其本身外，它的任何局部不是命题， 这样的命题称为原子命题。 例2：雪是白的。 定义3 把原子命题和逻辑联结词共同组成的命题称为复合命题。 　　原子命题通常用 等大写字母 表示 ． 原子命题符号化步骤是：用大写字母 　　　　可表示具体原子命题，此时它们称为命题常量。 大写字母　　　　　　　　还可表示一个待定的命题，此时称它们为命题变量 。 0 1 1 0 真值表 真值表 0 0 1 1 0 1 0 1 0 0 0 1 注１：逻辑学的形式语言与论述的具体内容和我们的 自身感受无关，上例完全符合逻辑学上的语法规则。 　　注２：“与”、“和”有时不是我们定义的合取联结词。 　　：小张与小王是同学。 不是合取联结词 　　：小张与小王都是三好生。是合取联结词 小张是三好生且小王是三好生。 真值表 0 0 1 1 0 1 0 1 0 1 1 1 注1：命题逻辑中联结词“或”与自然语言中的“或”有 较大区别，命题联结词中的“或”是“可兼或”。 　例：今天食堂供应米饭或馒头。 注2：自然语言中的“或”还有“不可兼或”的意义。 真值表 0 0 1 1 0 1 0 1 0 1 1 0 注3:自然语言中有些“或”并不是联结词。 例：电影院里大约有400或500名观众。 真值表 0 0 1 1 0 1 0 1 1 1 0 1 注1:自然语言中, 　　　往往有因果关系，但在数理 逻辑中　　　不一定有因果关系。 　是前件，　为后件。 注2：一定要分析句子中那部分是前件，那部分是后件。 真值表