离散数学 绪论、命题专用课件.pptVIP

离散数学 广州大学数学与信息科学学院 钟育彬 2013年9月 第一讲 课程绪论 命题与命题公式 引言 引言 引言 引言 引言 引言 Quick Overview Quick Overview 逻辑推理 MBA入学考试逻辑模拟题 第一章 命题逻辑 第一章 命题逻辑 英文表达 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 第一章 命题逻辑 英文表达 英文表达 英文表达 英文表达 英文与程序的表达 命题公式 与翻译 命题公式 与翻译 命题公式 与翻译 命题公式 与翻译 命题公式 与翻译 命题公式 与翻译 命题公式 与翻译 命题公式 与翻译 本节总结 课 后 任 务 定义命题公式 定义真值表 真值表的讨论 列出命题公式的真值表 定义逻辑等价 命题的定律 置换规则 证明命题公式等价 练习： 本节总结 本节总结 课 后 任 务 MBA入学考试语文逻辑题 MBA入学考试语文逻辑题 MBA入学考试语文逻辑题 MBA入学考试语文逻辑题 MBA入学考试语文逻辑题 MBA入学考试语文逻辑题 MBA入学考试语文逻辑题 MBA入学考试语文逻辑题 MBA入学考试语文逻辑题 把自然语言中的命题翻译成数理逻辑中的符号形式。 ? 米饭或面条都能吃饱。 分析：用P表示米饭能吃饱，用Q表示面条能吃饱。这句话的意思