命题逻辑st研讨.ppt

离散数学 授课教师：曹晓东教授 联系电话办公电话办公地点：综合楼305 单条件——→ 在日常生活中，用条件式表示前提和结论之间的因果或实质关系，这种条件式称为形式条件命题。 然而在命题逻辑中，一个条件式的前提并不要求与结论有任何关系，这种条件式称为实质条件命题。 */34 双条件——? 定义： 表征意义 双条件 的真值表 */34 或 1.2命题与命题逻辑联结词 注意： 由逻辑联结词联结的命题之间不需要任何关系。 优先次序： */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 作业 教材P7： 3（2）（3）（4） ，4（1）、（3） ，5（2）（4）,6,7,8,9 */34 * 要想把这种推论规则应用到各个学科领域中去，就必须使用一种概括性较强的，并且又是独立于任何特定的论证或者所涉及到的学科的一种语言。这种语言是一种符号化的形式语言，它没有二义性。使用这种形式化语言，可以将推理过程公式化，并且依据推理规则可以机械地确定论证的有效性。 * 许多数学陈述都是由一个或者多个命题组合而来，称为复合命题的新命题由已有的命题用逻辑运算符组合而来。 离散数学 第一章 命题逻辑 */34 什么是数理逻辑？ 数理逻辑是用数学方法研究思维规律的一门学科。所谓数学方法是指:用一套数学的符号系统来描述和处理思维的形式与规律。因此，数理逻辑又称为符号逻辑。 数理逻辑的创始人--莱布尼茨(Leibniz, Gottfried Wilhelm) 1646.7.1-1716.11.14 */34 德国数学家、物理学家、哲学家等，一个举世罕见的科学天才。研究领域涉及到逻辑学、数学、力学、地质学、法学、历史学、语言学、生物学以及外交、神学等诸多方面. 出生于德国东部莱比锡的一个书香之家，父亲是莱比锡大学的道德哲学教授，母亲出生在一个教授家庭。莱布尼兹的父亲在他年仅6岁时便去世了，给他留下了丰富的藏书。 15岁时，进了莱比锡大学学习法律，一进校便跟上了大学二年级标准的人文学科的课程，还广泛阅读了培根、开普勒、伽利略等人的著作，并对他们的著述进行深入的思考和评价。在听了教授讲授欧几里德的《几何原本》的课程后，莱布尼兹对数学产生了浓厚的兴趣。17岁时他在耶拿大学学习了短时期的数学，并获得了哲学硕士学位 。 19岁设计出世界第一台乘法器，被认为是现代机器数学的先驱者。 Leibniz(1646～1716年) 之梦：有一天所有的知识，包括精神和无形的真理，能够通过通用的代数