第1章命题逻辑1.pptVIP

离散数学;要求;离散数学是数学的几个分支的总称，研究基于离散空间而不是连续的数学结构。 与微积分和分析等连续数学相对的。 数理逻辑，集合论，代数系统，图论 信息论，理论计算机科学，运筹学，概率论，博弈论;*/34;数理逻辑的创始人--莱布尼茨(Leibniz, Gottfried Wilhelm) 1646.7.1-1716.11.14;15岁时，进了莱比锡大学学习法律，一进校便跟上了大学二年级标准的人文学科的课程，还广泛阅读了培根、开普勒、伽利略等人的著作，并对他们的著述进行深入的思考和评价。在听了教授讲授欧几里德的《几何原本》的课程后，莱布尼兹对数学产生了浓厚的兴趣。17岁时他在耶拿大学学习了短时期的数学，并获得了哲学硕士学位 。 19岁设计出世界第一台乘法器，被认为是现代机器数学的先驱者。 Leibniz(1646～1716年) 之梦：有一天所有的知识，包括精神和无形的真理，能够通过通用的代数演算放入一个单一的演绎系统。 1693年，发现了机械能的能量守恒定律。 与牛顿并称为微积分的创立者。 系统阐述了二进制记数法，并把它和中国的八卦联系起来。;几何系统（公理）;几何系统（定理证明）;主要内容;概述;1.1 命题与命题逻辑联结词;1.1 命题与命题逻辑联结词;1.1 命题与命题逻辑联结词;如果下周日下雪，那么我就去滑雪。 如果下周日不下雨并且没有考试，那么我去海边玩。 这次演讲比赛，我们班将由赵明或者张强参加。 ;六种逻辑联结词;定义 设P是一个命题，则P的否定是一个新的命题，记作“ ”，读作“非P”。 自然语言中的“非”、“不”和“没有”等 否定词“┐”的意义如下表： ;例：找出命题“熊孩子都是坑爹的”的否定。 “并非所有的熊孩子都是坑爹的。” “所有的熊孩子都不是坑爹的。” ;合取——∧;合取——∧;析取——∨;;异或——? ;蕴涵——→;蕴涵——→;蕴涵——→;等价——?;！注意： 由逻辑联结词联结的命题之间不需要任何关系。 优先次序： ;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;逻辑难题;作业