离散数学绪论-命题.pptVIP

离散数学;第一讲;引言;引言;引言;引言;引言; 计算机专业人员需要三方面的能力： 构造模型的能力 算法设计的能力 程序设计的能力;引言;Quick Overview;Quick Overview;逻辑推理;MBA入学考试逻辑模拟题;离散数学：Discrete Mathematics 数理逻辑：Symbolic Logic Natural Language “I don’t drink and drive” is logically equivalent to “If I drink, then I don’t drive”;第一章 命题逻辑;第一章 命题逻辑;英文表达;第一章 命题逻辑;第一章 命题逻辑;第一章 命题逻辑;第一章 命题逻辑;第一章 命题逻辑;第一章 命题逻辑;第一章 命题逻辑;第一章 命题逻辑;英文表达;英文表达;英文表达;英文表达;英文与程序的表达; 把自然语言中的命题翻译成数理逻辑中的符号形式。;? 我可以乘飞机或火车直达北京。 ;? 你或他都可以做这件事。 ;? 我今天进城，除非下雨。;? 除非努力，否则不能成功。 ;? 当你走，我将留下。 A ? B ? 当仅当你走，我将留下。 A ? B ? 仅当你走我将留下。 A← B 或 B ? A;思考：区分下列两组句子的含义： 只要努力，就能成功。 只有努力，才能成功。 没有共产党，就没有新中国。 有了共产党，就有了新中国。 ;从逻辑的角度分析以下句子： ? 如果天塌下来，有我顶着。 ? 牙好，胃口就好，身体倍棒，吃饭倍香。 ? 纽约著名的广告人路易斯先生说：“如果广告是一门科学，那我就是个女人。” ? “只要有足够的钱，就可以买到一切”可以推导出“有足够的钱，能买到友谊﹑健康﹑爱情等” ? 把“金钱如粪土，朋友值千金”作为前提，可以推出“朋友如粪土” ;本节总结;课 后 任 务;命题公式 的定义： 1、单个命题变元或常元本身是一个命题公式； 2、如果A是命题公式，则 ┑A是命题公式； 3、如果A和B是命题公式，则(A∧B)、(A∨B)、(A?B)、(A?B)都是命题公式。 4、当仅当能够有限次地应用1、2、3所得到的包含命题变元、联结词和括号的符号串是命题公式。 这是一个递归定义，1、为基础，2、3为归纳，4、为界限（停机条件）。 例如：( P→( Q ∧R ) ) 是命题公式 P→ Q ∧R 不是命题公式;定义真值表;真值表的讨论;列出命题公式的真值表;定义逻辑等价;命题的定律;置换规则;证明命题公式等价;练习：;本节总结;本节总结;课 后 任 务;MBA入学考试语文逻辑题;MBA入学考试语文逻辑题;MBA入学考试语文逻辑题;MBA入学考试语文逻辑题;MBA入学考试语文逻辑题;MBA入学考试语文逻辑题;MBA入学考试语文逻辑题;MBA入学考试语文逻辑题;MBA入学考试语文逻辑题;Bye-Bye!