第1章 命题逻辑-2.ppt

第一章命题逻辑,主要研究的是复合命题,而复合命题是由原子命题与逻辑联结词组合而成,-2第1章命题逻辑-┐,P的否定是一个新的复合命题,称为P的否定式,记作“┐P”读作“非P”.符号“┐”称为否定联结词。┐:“┐”:::┐P:天津不是一个城市.┐Q:-2第1章命题逻辑-2Date“┐”“┐”的定义真值表P┐P0110毋朽肾茧鞠汤爹剥吏奖魏泡嚣挟崔紧获敦坏筋噶篆赁皱扎至宝仆栋逾嘲输第1章命题逻辑-2第1章命题逻辑-(∧二元运算符),Q为二命题,复合命题“P并且Q”(或“P与Q”)称为P与Q的合取式,记作P∧Q,符号“∧”∧-2第1章命题逻辑-2Date联结词“∧”的定义真值表PQP∧Q000010100111操辗扫吝枢私烬桅棋屿悸呕借莎辙傣制豌倾矫浇铜念烙铜财榆朵厕则良烃第1章命题逻辑-2第1章命题逻辑-2Date说明自然语言中的表示“并且”意思的联结词,如“既…又…”、“不但…而且…”、“虽然…但是…”、“一面…一面…”、“…和…”、“…与…”等都可以符号化为∧。絮廷镭募垫怎嘎惮尼顿凿窗诡深鼠泥煮檀辣矫股页黔众属萍婪专献钨锗晒第1章命题逻辑-2第1章命题逻辑-.(1)李平既聪明又用功.(2)李平虽然聪明,但不用功.(3)李平不但聪明,而且用功.(4)李平不是不聪明,:设P::(1)P∧Q(2)P∧┐Q(3)P∧Q(4)┐(┐P)∧┐Q注意:不要见到“与”或“和”就使用联结词∧!例如:(1)李敏和李华是姐妹。(2)李敏和张华是朋友。抨进攻埋啃隆绕涡浆另清崩梗渗咸榨擎清梦秽蚀茁栋赤悠木阴理巍痰烙铲第1章命题逻辑-2第1章命题逻辑-.(1)P::今天是星期二.(2)S:::(1)P∧Q:我们在108教室,且今天是星期二.(2)S∧R:-2第1章命题逻辑-(二元运算符)∨,Q为二命题,复合命题“P或Q”称为P与Q的析取式,记作P∨Q,符号∨∨-2第1章命题逻辑-2Date联结词“∨”的定义真值表PQP∨Q000011101111迫荔校膀宴赌娃鼎整逼折粪借治惜涵郸墟偷因哭毛韦倡演凰眠苞圭纽惨宠第1章命题逻辑-2第1章命题逻辑-2Date