离散完整课件1.12章节幻灯片.pptVIP

* 离散数学 * 主要内容 数理逻辑 集合论 代数结构 图论 组合分析初步 形式语言和自动机初步 * 教材与教学参考书 教材： 耿素云、屈婉玲、张立昂，离散数学（第四版），清华大学出版社, 2008. 教学参考书： 屈婉玲、耿素云、张立昂，离散数学题解（第三版），清华大学出版社，2008. * 数理逻辑部分 第1章 命题逻辑 第2章 一阶逻辑 * 第1章 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 * 1.1 命题符号化及联结词 命题与真值 原子命题 复合命题 命题常项 命题变项 联结词 * 命题与真值 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句、祈使句、疑问句都不是命题 陈述句中的悖论以及判断结果不惟一确定的也不是 命题 * 例 下列句子中那些是命题？ (1) 是无理数. (2) 2 + 5 ＝8. (3) x + 5 ＞ 3. (4) 你有铅笔吗？ (5) 这只兔子跑得真快呀！ (6) 请不要讲话！ (7) 我正在说谎话. 真命题 假命题 真值不确