第1章节命题逻辑1.pptVIP

异或——? 定义： 表征意义 双条件 的真值表 */34 或 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 蕴涵——→ 定义： 表征意义 蕴含 的真值表 */34 或 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 蕴涵——→ 政治家竞选时许诺 “如果我当选了，那么我将会打击腐败”。 如果今天是星期五，那么2+2=4. 与程序设计中if p then S语句的区别。 */34 现实世界中无意义的语言也可以翻译 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 蕴涵——→ 在日常生活中，用条件式表示前提和结论之间的因果或实质关系，这种条件式称为形式条件命题。 然而在命题逻辑中，一个条件式的前提并不要求与结论有任何关系，这种条件式称为实质条件命题。 */34 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 等价——? 定义： 表征意义 等价 的真值表 */34 或 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 离散数学 周勇 zy_dut@ （小） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 要求 基本要求 考核 考勤：按大学生手册执行（缺席三次取消考试资格，迟到10分钟不能进入教室） 作业独立完成 期中考试（？） 考教分离 周三交作业（按自然班，班长负责），下一个周三返还 平时成绩30%：作业+考勤 期末成绩70% Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 离散数学是数学的几个分支的总称，研究基于离散空间而不是连续的数学结构。 与微积分和分析等连续数学相对的。 数理逻辑，集合论，代数系统，图论 信息论，理论计算机科学，运筹学，概率论，博弈论 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. */34 什么是数理逻辑？ 数理逻辑是用数学方法研究思维规律的一门学科。所谓数学方法是指:用一套数学的符号系统来描述和处理思维的形式与规律。因此，数理逻辑又称为符号逻辑。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 数理逻辑的创始人--莱布尼茨(Leibniz, Gottfried Wilhelm) 1646.7.1-1716.11.14 */34 德国数学家、物理学家、哲学家等，一个举世罕见的科学天才。研究领域涉及到逻辑学、数学、力学、地质学、法学、历史学、语言学、生物学以及外交、神学等诸多方面. 出生于德国东部莱比锡的一个书香之家，父亲是莱比锡大学的道德哲学教授，母亲出生在一个教授家庭。莱布尼兹的父亲在他年仅6岁时便去世了，给他留下了丰富的藏书。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose