第1章1 命题符号化和联结词.pptVIP

离散数学; ????离散数学是研究世界事物间的离散结构和相互关系的学科.?离散数学是现代数学的一个分支，在数学、计算学科、电?子信息学科中的作用与地位日渐突显. ;第一篇： 数理逻辑 第二篇： 集合论 第三篇： 代数系统 第四篇： 图论;学习目的; 了解离散数学在计算机网络，通信，工程，技术等各门学科乃至社会科学的重要作用与意义，以适应学习数据结构、操作系统、编译理论、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等其他专业课程的各种需要 和将来从事软、硬件开发和应用研究打下坚实的基础。 ;学习参考书 ;第一篇： 数理逻辑;逻辑难题;分析：如果被问者是诚实战士，他回答“对” 。则另一 名战士是说谎战士，他回答“是”，那么，这扇门不是死亡门。 如果被问者是诚实战士，他回答“否”。则另一名是说谎战士，他回答“不是”，那么，这扇门是死亡门。 如果被问者是说谎战士可以类似分析， ;数理逻辑：用数学的方法来研究推理的形式结 构和推理规律的数学学科;第一章 命题逻辑;一、命题与真值;⑵其它类型的句子，如疑问句、祈使句、感叹句均没有真假意义，因此均不是命题。;判断标准： ;2.罗素悖论;原子命题： ;复合命题：称由简单命题用联结词联结而成的命题． 构成复合命题的命题称为复合命题的支命题。; 例如：数理逻辑不是枯燥无味的。 ;说明：1、 ﹁ p是一元联结词 所谓一元联结词就是联结一个命题的联结词。;p;嗣洽侈递鸣鸭泳绵澳邹砰涤帐秦胎邓忆隧拟遵淤抬皮雕咖傻钻恩功齿苍丈第1章1 命题符号化及联结词第1章1 命题符号化及联结词;p;注：相容或与排斥或的区分： 析取联结词指相容或（两个命题可同时为真） 排斥或：两个命题不可能同时为真，当且仅当一个为真，一个为假时，为真。;相容或与不能同时为真的排斥或均可符号化为pVq。;p;例：p: 明天天气好。 q: 妈妈带孩子去动物园玩。;交霹倘勉蹦莱撅族触城御卿渐奠茵政饲筛桅桐辱趣捣庸换感负肚祟冗亨殉第1章1 命题符号化及联结词第1章1 命题符号化及联结词;寥柠锋哎箭犀荚仟扼淖缮吻狗气篓轩匀卿眺??话阜楼抄合门豆脾色铁法堑第1章1 命题符号化及联结词第1章1 命题符号化及联结词;注： 1.一般因为p，所以q；只要p就q；p仅当q；只 有q才p；除非q才p；除非q,否则非p等都可符号化为p→q。 2.前件与后件无因果关系。 3.前件为假，真值永远为真。 前件为假时，p→q必为真； 后件为真时，p→q必为真。;例：将下列命题符号化 1) 如果1+2＝3,则太阳从东边升起。 2) 如果1+2≠3,则太阳从东边升起。 3) 如果1+2＝3,则太阳从西边升起。 4) 如果1+2≠3,则太阳从西边升起。 ;p;例1.6 1）集合A中没有元素当且仅当集合A是空集。 2）当王刚心情愉快时，他唱歌；反之，当 他唱歌时，一定心情愉快。 3）三角形三边相等的充要条件是三个角相等。 4) 2+2=5的充要条件是太阳从西边升起。 ;说明：1）基本的复合命题：由联结词集中的一 个联结词联结一个或两个原子命题组成的复合命题是最简单的复合命题。 2）复杂的复合命题：多次使用联结词集中的联结词，可以组成更为复杂的复合命题。;注：在逻辑学中，无论被连接的命题之间有无内在联系，都可用联结词联结成复合命题。它们的真值只与p,q的真值有关，而与其内容无关。