命题符号化及联结词.pptVIP

离散数学是研究世界事物间的离散结构和相互关系的学科.?离散数学是现代数学的一个分支，在数学、计算学科、电?子信息学科中的作用与地位日渐突显.第一篇：数理逻辑第二篇：集合论第三篇：代数系统第四篇：图论初步掌握现代数学的观点和方法；01初步掌握处理离散结构的方法，提高计算机系统设计和程序设计的逻辑数字的能力；02初步掌握计算机在进行数的处理时的方法和计算；03培养学习抽象思维和缜密思考的能力；04学习目的了解离散数学在计算机网络，通信，工程，技术等各门学科乃至社会科学的重要作用与意义，以适应学习数据结构、操作系统、编译理论、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等其他专业课程的各种需要和将来从事软、硬件开发和应用研究打下坚实的基础。0102机械工业出版社，2003年离散数学及其应用（第5版）,，01清华大学出版社，1999年《离散数学题解》，屈婉玲、耿素云、张立昂编，02高等教育出版社,2005年离散数学结构(第五版),罗平译,03学习参考书第一篇：数理逻辑逻辑规则给出数学语句的准确含义，这些规则用来区分有效和无效的数学论证。逻辑不仅是所有数学推理的基础，而且对计算机的电路设计、系统规范说明、人工智能、计算机程序设计、程序设计语言以及计算机科学的其他领域都有实际的应用。有一逻辑学家误入某部落，被拘于牢狱，酋长意欲放行，他对逻辑学家说：“今有两门，一为自由，一为死亡，你可任意开启一门。为协助你脱逃，今加派两名战士负责解答你所提的任何问题。惟可虑者，此两战士中一名天性诚实，一名说谎成性，今后生死由你自己选择。”逻辑学家沉思片刻，即向一战士发问：逻辑学家手指一门问身旁一名战士说：‘这扇门是死亡门，他（指另一名战士）将回答是，对吗？”当被问战士回答完对或否后，逻辑学家开门从容离去。解当被问战士回答“对”，则逻辑学家开启所指的门从容离去。当被问战士回答“否”，则逻辑学家开启另一门从容离去。逻辑难题分析：如果被问者是诚实战士，他回答“对”。则另一名战士是说谎战士，他回答“是”，那么，这扇门不是死亡门。如果被问者是诚实战士，他回答“否”。则另一名是说谎战士，他回答“不是”，那么，这扇门是死亡门。如果被问者是说谎战士可以类似分析，被问战士是诚实人。被问战士的回答是“是”。另一战士的回答是“是”。这扇门是死亡门数理逻辑：用数学的方法来研究推理的形式结构和推理规律的数学学科01数理逻辑与数学的其他分支、计算机科学、人工智能、语言学等学科密切相关，并且具有广泛的应用前景。02数理逻辑分五部分：逻辑演算、证明论、公理集合论、递归论和模型论。03命题与真值01联结词02小结思考题第一节命题符号化及联结词03第一章命题逻辑命题：称能判断真假，但不会既能真又能假的陈述句为命题。命题的真值：命题的判断结果称为命题的真值，真值只取两个值：真和假.说明：称真值为真的命题为真命题，真值为假的命题为假命题.命题是陈述句，命题所表达的判断只有两个结果.一、命题与真值⑵其它类型的句子，如疑问句、祈使句、感叹句均没有真假意义，因此均不是命题。例如：判断下列句子是否为命题。1）你是谁？2）请注意听讲！3）新加坡真美丽啊！4）海洋的面积比陆地大。5）3+2106)x+y27)明天是晴天。9）银河系中除地球外还有有人生存的星球。判断标准：陈述句；判断结果唯一。非真即假。（并不意味着现在就能确定其真假）不包括悖论。理发师的头发由谁来理？罗素悖论在一个小镇上，仅有一名理发师，且镇里的所有人都需要理发，理发师公开宣布：他给而且只给小镇上所有自己不给自己理发的人理发。好事者问：理发师先生，你自己的头发由谁来理？原子命题：01称由简单陈述句构成的命题为简单命题或原子命题，02命题变项：真值可以变化的简单陈述句。如例6。03注：1.命题变项不是命题。当用命题常项带入命题变项时，命题变项变为命题。真值确定。04复合命题：称由简单命题用联结词联结而成的命题．构成复合命题的命题称为复合命题的支命题。联结词：使得复合后的命题的真值可以完全由各个支命题所决定的联结词称为逻辑联结词或命题联结词。常用的联结词（逻辑联结词）及它们所联结的复合命题有以下5种：例如：数理逻辑不是枯燥无味的。说明：1、﹁p是一元联结词所谓一元联结词就是联结一个命题的联结词。