离散数学 ppt课件 精品课程 考研 大学课程 数学一 第一章 命题逻辑.pptVIP

第1章 命题逻辑 数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科。 现代数理逻辑可分为逻辑演算、证明论、公理集合论、递归论和模型论。 本课程介绍的是数理逻辑最基本的内容，也是与计算机科学关系最为密切的：命题逻辑和谓词逻辑（一阶逻辑）; 主要内容 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 ;1.1 命题符号化及联结词;例1： 2是素数。 雪是黑色的。 2+3=5 。 明年十月一日是晴天。 这朵花多好看呀！ 3能被2整除. 明天下午有会吗？ 请关上门！ x+y5 。 地球外的星球上也有人。 ;命题判断的关键：1.是否是陈述句；2.真值是否是唯一的。;表示法：;例2：将下列各命题符号化 3不是偶数. 2是素数和偶数. 林芳学过英语或日语. 如果角A和角B是对顶角,则角A等于角B.; 1. 否定联结词 定义1.1 设p为命题，则p的否定是一个复合命题，记作：?p，读作“非p”或“p的否定”。 ?为否定联结词。?p为真当且仅当p为假。; 2. 合取联结词 定义1.2 设p和q均为命题，则p和q的合取是一个复合命题，