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