第一章命题逻辑-1st介绍.pptVIP

离散数学;*/34;数理逻辑与计算机;数理逻辑的创始人--莱布尼茨(Leibniz, Gottfried Wilhelm) 1646.7.1-1716.11.14;莱布尼兹经当代智商测试研究，智商高达205， 是人类历史上少有的天才。 14岁时进入莱比锡大学念书，读法律专业。20岁时完成学业，拿到博士学位。 19岁设计出世界第一台乘法器，被认为是现代机器数学的先驱者。 1693年，发现了机械能的能量守恒定律。 与牛顿并称为微积分的创立者。 系统阐述了二进制记数法，并把它和中国的八卦联系起来。 莱布尼兹一直致力于要建立发展一个能回答所有领域里的一切问题的数学，这促使他研究了逻辑，形成了现在符号逻辑的基础． Leibniz(1646～1716年) 之梦：有一天所有的知识，包括精神和无形的真理，能够通过通用的代数演算放入一个单一的演绎系统。;主要内容;1.1概述;1.2命题与命题逻辑联结词;1.2命题与命题逻辑联结词;1.2命题与命题逻辑联结词;如果下周日下雪，那么我就去滑雪。 如果下周日不下雨并且没有考试，那么我去海边玩。 这次演讲比赛，我们班将由赵明或者张强参加。 ;5种逻辑联结词;定义： 设P是一个命题，则P的否定是一个新的命题，记作“ ”，读作“非P”。 否定词“┐”的意义如下表： ;例：找出命题“所有的素数都是奇数”的否定。 “并非所有的素数都是奇数。” “所有的素数都不是奇数。” ;合取——∧;合取——∧;析取——∨;;异或——? ;单条件——→;单条件——→;单条件——→;单条件——→;例如： 除非有时间，我才去看电影 A：我有时间。B：我去看电影。 翻译为： B→ A 我不承认你是对的，除非太阳从西边出来 A：我承认你是对的。B：太阳从西边出来。 翻译为：A → B（或?B→ ? A ） 仅当你走，我才留下 A:你走 B:我留 下 翻译为： B?A 只有天下雨，他才乘公共汽车上班 U：天下雨 。 V：他才乘公共汽车上班 翻译为： V?U ;双条件——?;1.2命题与命题逻辑联结词;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;逻辑难题;作业