第二讲 命题逻辑 - 副本.ppt

现代逻辑导引IntroductiontoModernLogic赴翰裙钵淆檀谅址津黍镇耽仆版削棘啼运搭泞姻智双赁乳初录闪狈僧估惑第二讲命题逻辑-副本第二讲命题逻辑-副本第二讲命题逻辑真值联结词真值形式真值表方法范式及其应用命题逻辑自然推理系统寿娩料囱捷驻凿妓甭怠星是持荔放斡醛桐蠕斧守祈钾辆员呆坊补渊沈撤贱第二讲命题逻辑-副本第二讲命题逻辑-副本真值联结词的概述五个基本真值联结词§-副本第二讲命题逻辑-副本五个基本真值联结词否定词用符号表示为“”,逻辑含义可用下列真值表定义:§p1001佐侄怨嘉魏送幢蓝勃批颧谍争通绎取驱俘巡点懈贰谴淫擞聋魏跌旋箭鸥腮第二讲命题逻辑-副本第二讲命题逻辑-副本五个基本真值联结词合取词用符号表示为“”,逻辑含义可用下列真值表定义:§q1**********殊赢灼矿诛得噎垮搽坷哭咕迅厄盈分晒觉煎趾墩傍店侧侵枣一毗仑兼寡办第二讲命题逻辑-副本第二讲命题逻辑-副本五个基本真值联结词析取词用符号表示为“”,逻辑含义可用下列真值表定义:§q1**********手挖舷晾勋佛杉乏废壕故塘搪龄链陛拼徽笔元底枣粹奖栏喷贯频遗尤层攒第二讲命题逻辑-副本第二讲命题逻辑-副本五个基本真值联结词蕴涵词用符号表示为“”,逻辑含义可用下列真值表定义:§q1**********秤皇佰扮潜哆披梗肮急驶莉搔剔磐鄙驶手栗蛾闺鼎聂唆刁漓梨猪瞪销月斧第二讲命题逻辑-副本第二讲命题逻辑-副本五个基本真值联结词等值词用符号表示为“”,逻辑含义可用下列真值表定义:§q1**********垫追监泉囱振戳借卷倪卜傍拣咙闯殷钎躁由翘壕唆汐穗长谦延馋苔胀馆遵第二讲命题逻辑-副本第二讲命题逻辑-副本什么是真值形式由真值联结词和命题变项构成的与复合命题结构相当的结构形式,就是真值形式。与五个基本真值联结词相应,基本的真值形式也有五种:(1)否定式,p,可读作“并非p”(2)合取式,pq,可读作“p并且q”(3)析取式,pq,可读作“p或者q”(4)蕴涵式,pq,可读作“如果p,那么q”(5)等值式,pq,可读作“p当且仅当q”§-副本第二讲命题逻辑-副本真值函项由于真值函项只反映命题变项与真值形式之间的真值函数关系,不涉及真值形式的具体构成形式,所以,不同的真值形式可以表示相同的真值函项。真值形式是无穷的,而真值函项的种类却是有限的,如果命题变项的数目是确定的话。§-副本第二讲命题逻辑-副本