文档介绍：第二篇数理逻辑 MathematicsLogic*耿拣储曳蔫溶宛盛廖捏椭牌仔嘻伸诊冀嚼毗瓜醇芭舔诵闽株刻吾馒抑忽倾第一章数理逻辑-命题逻辑第一章数理逻辑-命题逻辑数理逻辑逻辑学研究人的思维形式和规律的科学根据研究的对象和方法形式逻辑辩证逻辑数理逻辑用数学方法研究推理的规律和形式的科学推理:由一个或几个判断推出一个新判断的思维形式数学方法建立一套表意符号体系,对具体事物进行抽象的形式研究方法又称符号逻辑两种演算命题逻辑谓词逻辑*嘘忌睦盟梗嗡暖诗迅缅寻埋呸亿滇勾私蛆聘桩列怕私稻鸿獭硫肄剿域买颊第一章数理逻辑-命题逻辑第一章数理逻辑-命题逻辑形式语言与自然语言数理逻辑需建立一套表意符号体系形式语言符号体系自然语言二义性Doubleclickthemouse,thenit’,他方便去了建立形式语言符号体系的目的消除二义性*现畏清曝嚎剂醛斗恼久侄巷流醛粳苏俘片鹏鸵脯***蒲狈惠仅您侵哮修堤巩第一章数理逻辑-命题逻辑第一章数理逻辑-*社盾钮僳杨讹绵壶用袖伍倍傀节厂挎淤马脚谭咒翅乡倡鼠伍恃掘贴褂台喷第一章数理逻辑-命题逻辑第一章数理逻辑-~ PropositionLogic*寥蒸杆切手违肆凛缘执价撑棺辞当膨防郝谐映几穿途仿觅认道另秸瘦景就第一章数理逻辑-命题逻辑第一章数理逻辑-(Proposition):具有确定真假含义的陈述句命题是一个非真即假(不可兼)的断言如果命题是真命题的真值(TruthValues)为真真命题大写字母“T”(1)表示如果命题是假命题的真值是假假命题大写字母“F”(0)表示*滨衣畅唁界鸳宁肾犁栽皮婉邮案鸥噎榆别骂浩熙赌滥焕早官鬼浴盯罗沧珐第一章数理逻辑-命题逻辑第一章数理逻辑-命题逻辑例:今天下雪3+3=62是偶数而3是奇数1+101=110明年的今天会下雨较大的偶数都可表为两个质数之和*蚤敷针伦靡限用裂掂疥案莹胎松举讲苔罗啡楷贿翠惫措蛆呐骨侈营鄂矗隔第一章数理逻辑-命题逻辑第一章数理逻辑-命题逻辑例:x+y>4真好啊!x=3你去哪里?0*x=0我正在说谎*坟疹雨间淮昧蛋彼挣亚躇战组为何昂炼攀技禹入搐枣配便执缝瞎瘦雪暗领第一章数理逻辑-命题逻辑第一章数理逻辑-命题逻辑原子命题(Primitiveproposition)由简单陈述句表示的判断命题逻辑规定:原子命题是不可再分的命题的表示常用大写英文字母(或带下标)表示P表示“雪是白的”Q表示“北京是中国的首都”命题变元(命题词)P表示任一命题时,P就称为命题变元(命题词)命题词不是命题命题指具体的陈述句,是有确定的真值命题变元的真值不定,只当将某个具体命题代入命题变元时,命题变元化为命题,方可确定其真值*返吁少弟挨霞氧糠互仓撵齿梁相蚂掀浇砚衍彩评府跋犁黑宣遏慌倒履兴烦第一章数理逻辑-命题逻辑第一章数理逻辑-poundproposition)一个或几个简单命题用联结词联结所构成的命题例:“张三学英语和李四学日语”两个特殊的命题词命题常量T:永远表示真命题F:永远表示假命题T和F的两种含义命题常量命题的真值*古钟册哭鬃妆蛆声绚鲤帮固八曝垛色丁咱鹏酥府子营铣梢抨崩菲断馁挫没第一章数理逻辑-命题逻辑第一章数理逻辑-命题逻辑