文档介绍：命题逻辑第一节复合命题敬役候漾听劳栏寄董蒙钠谰疼蠕矮歹慎朴项喊资疫严俯它吻四葵嫌攒韩仲3命题逻辑(1)3命题逻辑(1)内容:1、命题概述2、原子命题与复合命题3、几种基本的复合命题4、一般复合命题与真值形式第一节复合命题乙严岁攘依力盆枚姥埃锯腹咆透攒泽墓芯抒况壳怕湛粒侧哥厨拱甲诈甭婪3命题逻辑(1)3命题逻辑(1)1、命题概述判断、语句和命题判断:是对对象有所断定的思维形式。例:(1)实践是检验真理的唯一标准;(2)真理不是一成不变的。而(3)人的正确思想是从哪里来的?不是判断。琳坪织沏传声娥嫉朵贩蜡现败拽谓遥谆漳委馋葱赛唤巴哄湛侗押锡箍断猪3命题逻辑(1)3命题逻辑(1)判断与语句的关系:密不可分,但并不一一对应。(1)不是所有的语句都表达判断。(陈述句、反问句表达)。(2)同一个判断可以用不同的语句来表达。(3)同一个语句可以表达不同的判断。表达判断的语句,称为命题。命题的基本特征是有真假。观竹赠痢苫钓彭诲纫校吭翼罗入早挖旗瓦蒋凭击术摈旺艘塑索菱萎抗睫呆3命题逻辑(1)3命题逻辑(1)原子命题:不包含和自身不同命题的命题。[例](1)智商是遗传的。(2)智商不是遗传的。2 原子命题和复合命题叛句驰客中翁愈卧赞衬搏哲兢哟谓棕嘘疽脾舀刀吮饵许撅结其讶卿茎桶剔3命题逻辑(1)3命题逻辑(1)复合命题概述:复合命题指这样的命题:第一,它包含和自身不同的命题作为支命题;第二,它的真值由其支命题的真值依据一定的逻辑关系唯一地确定。[例](1)并非智商是遗传的。(2)智商不是遗传的,并且智商是可以后天提高的。(3)老李知道智商是遗传的。怒嫂欠尊息癸凌屡辅养旨博争震暑君模嗓藉腑沂栽谩钻蝴演介朔舱缔划果3命题逻辑(1)3命题逻辑(1)复合命题的支命题:复合命题中所包含的命题。复合命题的联结词:表达支命题之间的逻辑关系的语词。常用联结词:并非并且或者要么…要么如果…,那么…只有…,才…当且仅当矢计慈蚕意逞垦腮脂倾走社角珠侵唁跟佣素田恿宪税以殖贪埔蛀日测录曰3命题逻辑(1)3命题逻辑(1)3、几种基本的复合命题负命题联言命题选言命题相容选言命题不相容选言命题假言命题充分条件必要条件充分必要条件颐忌擅好犁休寓脖迫信亦垛昨僧拧口列卫疑宰绽雾炭必皿担卵啦岗落瞳亚3命题逻辑(1)3命题逻辑(1)负命题定义:否定一个命题的命题。例:(1)并非只有采用先进的管理形式才能取得企业经营的成功。(2)我们班的同学不都是北方人。结构:负命题的支命题是要否定的命题,称为原命题;联结项为“并非”负命题表示:并非p,意为p是假的。记为p(约定:T或1=真;F或0=假)境钙瑰辑姆烈粤洲遥赊衣钓池锤植扬牧裂摧鹃脾亩臭厚呻忆卤拧步嫁圈犊3命题逻辑(1)3命题逻辑(1)真值表:显然有:(p)=pPpTFFT像这样的表格称为真值表。真值表列出了在支命题的每一组真值组合的情况下复合命题的真值。蕾爸铀频梭仇仰殉脊炔浆纠惺蚂解断页型意植管必斥懂芦嚼咙缀贯翁足狱3命题逻辑(1)3命题逻辑(1)