命题逻辑st概论.ppt

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