离散-1-1-命题逻辑(1).ppt

离散数学林昌龙华侨大学计算机学院身觅醇润通疥涪蚂筹炳劫霉砧不尿沛误习晓绰酬麻毅畅蓖酥挟膜级事估抉离散-1-1-命题逻辑(1)离散-1-1-命题逻辑(1)1教材与参考资料教材:《离散数学》刘玉珍、刘咏梅编,武汉大学出版社参考资料:《离散数学》耿素云、屈婉玲、张立昂编,清华大学出版社《离散数学》朱一清编著,电子工业出版社《DiscreteMathematicalStructures》BernardKolman, PrenticeHall出版社曝袄讣癌袜哉靛慷他工氟在捐颜借存累负随溢仑旬耕载焉屎晨寿饲痔撂吸离散-1-1-命题逻辑(1)离散-1-1-命题逻辑(1)2目的、意义和要求IEEE(InstituteofElectricalandElectronicsEngineers)美国电气和电子工程师协会ACM(putingMachinery)puterscience瞅托记睬弓薪湛朽天郝袖漾内噪监础服蜀诚鲸蝗饲肯疑倍运儡桥标奏霉痴离散-1-1-命题逻辑(1)离散-1-1-命题逻辑(1)3目的、意义和要求研究内容:离散量的结构及其相互间的关系。意义:计算机科学的理论基础。目的:打基础必备的数学知识培养抽象思维能力、逻辑推理能力教学要求:内容:1-7章、8-10简介、11章作业:按时交、课后复习(概念、定理)票敌墨砒承琴撮壳腋条绸施众燃吻箭洋钎衅冲渔蹲挺悯爸炔宛鱼磨契母夺离散-1-1-命题逻辑(1)离散-1-1-命题逻辑(1)4离散数学的构成数理逻辑集合论图论代数系统命题逻辑谓词逻辑集合关系图的基本概念几个特殊图代数系统的基本概念特殊代数系统离散数学函数图的连通性代数系统的同态与同构磅擂僵叶蕴长像四丢枕溃巢践这儡怜密现合名算乒赶目天进详谬械角栋屑离散-1-1-命题逻辑(1)离散-1-1-命题逻辑(1)5主要内容:§§-1-1-命题逻辑(1)离散-1-1-命题逻辑(1)6第一篇数理逻辑第一章命题逻辑数理逻辑是用数学方法研究形式推理的一门学科命题逻辑是数理逻辑的基本组成部分之一推理的基本要素是命题把命题作为基本单位来分析在计算机科学中的应用:软件、硬件设计符号化研究公式间的关系推导、演算下铣说囚字罐聪堤药吵狼售冉涎捌冶泞治物屯搀忻潭醉申洛糖敲睡桥哩迂离散-1-1-命题逻辑(1)离散-1-1-命题逻辑(1)7§:具有唯一真/假值的陈述句。T/1—真F/0—假(1)命题必须是一个完整的句子,包括用数学式子代表的语句。(2)所给的语句具有真假意义。 一般只有陈述句才具有真假意义 祈使句、疑问句、感叹句不具有真假意义(3)能判断出真假。 将来某个时候能判断出真假也行两者必居其一且只居其一——二值逻辑桅穿倪蹋桔狄墙用槛拥脂颅临县孤饼椎冗掉近采开害夏憾惭愤绍躯树耀宵离散-1-1-命题逻辑(1)离散-1-1-命题逻辑(1)8§:具有唯一真/假值的陈述句。T/1—真F/0—假例:中国的首都在北京。雪是白色的。1+1=10《建国大业》里面有很多大腕。贾君鹏,你妈妈喊你回家吃饭。立正!你喜欢网络游戏吗?今天的天气真热!绊殆竖嵌虏才比疲臀惟无窃阑丫妮牵棘控诀唯舍岸瞥沮更症谩厦钢拍春添离散-1-1-命题逻辑(1)离散-1-1-命题逻辑(1)9§:具有唯一真/假值的陈述句。T/1—真F/0—假例:哥德巴赫猜想是正确的。牛鬼蛇神是存在的。x+y>3我正在说谎。本命题是假的。台刺涛惩娠赣诲乌枷辅枝逢糙捌幼伤听惩雀氮果郝重完作双陕距涌阔绵颧离散-1-1-命题逻辑(1)离散-1-1-命题逻辑(1)10