第一章节命题逻辑1.pptVIP

异或——? 定义： 表征意义 双条件 的真值表 */34 或 蕴涵——→ 定义： 表征意义 蕴含 的真值表 */34 或 蕴涵——→ 政治家竞选时许诺 “如果我当选了，那么我将会打击腐败”。 如果今天是星期五，那么2+2=4. 与程序设计中if p then S语句的区别。 */34 现实世界中无意义的语言也可以翻译 蕴涵——→ 在日常生活中，用条件式表示前提和结论之间的因果或实质关系，这种条件式称为形式条件命题。 然而在命题逻辑中，一个条件式的前提并不要求与结论有任何关系，这种条件式称为实质条件命题。 */34 等价——? 定义： 表征意义 等价 的真值表 */34 或 ！注意： 由逻辑联结词联结的命题之间不需要任何关系。 优先次序： 1.1 命题与命题逻辑联结词 */34 ù ú ? ? ? （） 句子到逻辑表达式的翻译 步骤： 确定给定的句子是否为命题； 找出各原子命题并确定句子中的连词为对应的联结词； 用正确的语法把原命题表示成由原子命题、联结词和圆括号组成的公式。 */34 句子到逻辑表达式的翻译 翻译下列命题： (1)他既聪明又用功。 (2)他虽聪明但不用功。 解： 原子命题 P：他聪明。 Q：他用功。 则有： (1)翻译成： P ∧ Q (2)翻译成： P ∧ ?Q */34 句子到逻辑表达式的翻译 除非有时间，我才去看电影 A：我有时间。 B：我去看电影。 翻译为： B→ A 我不承认你是对的，除非太阳从西边出来 A：我不承认你是对的。 B：太阳从西边出来。 翻译为： ?B→ A */34 句子到逻辑表达式的翻译 如果你和他都不固执己见的话，那么不愉快的事情就不会发生了。 P：你固执己见。 Q：他固执己见。 R：不愉快的事情不会发生。 翻译为： (?PΛ?Q)→R 如果你和他不都是固执己见的话，那么不愉快的事情就不会发生了。 ?(PΛQ)→R */34 句子到逻辑表达式的翻译 P：这个材料很有趣。 Q：这个习题很难。 R：这门课程使人喜欢。 1、这个材料很有趣，而且这些习题很难。 2、这个材料无趣，习题也不难，那么，这门课程就不会使人喜欢。 3、这个材料无趣，习题也不难，而且这门课程也不使人喜欢。 4、这个材料很有趣意味着这些习题很难，反之亦然。 5、或者这个材料很有趣，或者这些习题很难，而且两者恰具其一。 */34 句子到逻辑表达式的翻译 除非你已满16周岁，否则只要你的身高不足4英尺就不能乘公园滑行铁道游乐车。 P：你能乘坐公园滑行铁道游乐车。 Q：你身高不足4英尺。 R：你已满16周岁。 翻译成： (?RΛ Q)→? P */34 逻辑难题 一个岛上居住着两类人——骑士和流氓。骑士说的都是实话，而流氓只会说谎。你碰到两个人A和B，如果A说“B是骑士”，B说“我们两个不是一类人”，请判断A、B到底是流氓还是骑士。 解： 首先假设P: A是骑士；Q: B是骑士 如果A是骑士 如果A是流氓 */34 作业 P21： 1, 2，3 ，4（1）、（3） P22: 6（2）（4） ，9 */34 /s/1mgpdFug * 要想把这种推论规则应用到各个学科领域中去，就必须使用一种概括性较强的，并且又是独立于任何特定的论证或者所涉及到的学科的一种语言。这种语言是一种符号化的形式语言，它没有二义性。使用这种形式化语言，可以将推理过程公式化，并且依据推理规则可以机械地确定论证的有效性。 * 许多数学陈述都是由一个或者多个命题组合而来，称为复合命题的新命题由已有的命题用逻辑运算符组合而来。 离散数学 周勇 zy_dut@ （小） 要求 基本要求 考核 考勤：按大学生手册执行（缺席三次取消考试资格，迟到10分钟不能进入教室） 作业独立完成 期中考试（？） 考教分离 周三交作业（按自然班，班长负责），下一个周三返还 平时成绩30%：作业+考勤 期末成绩70% 离散数学是数学的几个分支的总称，研究基于离散空间而不是连续的数学结构。 与微积分和分析等连续数学相对的。 数理逻辑，集合论，代数系统，图论 信息论，理论计算机科学，运筹学，概率论，博弈论 */34 什么是数理逻辑？ 数理逻辑是用数学方法研究思维规律的一门学科。所谓数学方法是指:用一套数学的符号系统来描述和处理思维的形式与规律。因此，数理逻辑又称为符号逻辑。 数理逻辑的创始人--莱布尼茨(Leibniz, Gottfried Wilhelm) 1646.7.1-1716.11.14 */34 德国数学家、物理学