离 离 散 散 数 数 学 学离散数学课件 离散数学是计算机科学的核心理论课程， 是计算机专业的专业基础课。 第一部分 数理逻辑 第二部分 集合与关系代数 第三部分 图论第一部分数理逻辑 第一章 命题逻辑基本概念 第二章 命题逻辑等值演算 第三章 命题逻辑推理理论 第四章 一阶逻辑基本概念 第五章 一阶逻辑等值演算与推理第一章 命题逻辑基本概念 1。1命题与联结词 命题：能判断真假的陈述句。 命题真值：作为命题的陈述句所表达的判断结果。例1。判断下列句子是否为命题 。 （1）4是素数 （2） 是无理数 （3）x大于y。 （4）月球上有冰。 （5）2000年元旦是晴天。 （6） 大于 吗？ （7）请不要吸烟！ （8）这朵花真美丽啊！ （9）我正在说假话。例1.2将下面这段话中所出现的原子命题符号化，并指出 其真值， 然后写出这段陈述。 3 是有理数是不对的；2是偶素数；2或4是素数；如果 2是素数，则3也是素数； 2是素数当且仅当3也是素数 解 p: 是无理数。 q: 2 是素数。 r: 2 是偶数。 s: 3 是素数。 t: 4 是素数。定义1.1 设p为命题，复合命题“ 非p” 称为
