第 三节 联言命题及其推理.ppt

第三节联言命题及其推理一、.逻辑形式命题形式:p并且q真值形式:p∧∧q1**********¬¬粳匈山踞饯抛铀欧凿雨励掂影搞俊颜溜糯鞍臻隘助辗悍契慌请尤撰臀侈焕第三节联言命题及其推理第三节联言命题及其推理二、∧q┣pp∧q┣(组合式)p,q┣p∧q推理规则:若肯定若干个命题,则可肯定它们的合取。若肯定一合取,则可肯定其任一联言肢。结论中不可肯定前提中未断定的命题。¬(p∧q)∧¬(¬p∧¬q)pq¬(p∧q)∧¬(¬p∧¬q)110011011**********辽苛另胚束询形煽势牧又薛剥淤迪纯咕弊躬空坯林痔照诣躲宣硫强缴赠陌第三节联言命题及其推理第三节联言命题及其推理¬(p∧¬q∧r)∧¬(¬p∧q∧¬r)pqr¬(p∧¬q∧r)∧¬(¬p∧q∧¬r)111111110111101001100111011111010100001111000111行匝隶吃胞销祷秤怖团饺募影左晰哨亢瓮粕错粟蓑锻徒轨控腑哑棕苫帛惜第三节联言命题及其推理第三节联言命题及其推理交换律(p∧q)↔(q∧p)(p∧¬q∧r)↔(r∧¬q∧p)↔(¬q∧r∧p)↔(p∧r∧¬q)↔(r∧p∧¬q)↔(¬q∧p∧r)讲岂嫩棕给啼洼登棱塌皮拦撩馒项我雄劈贼馅需炕连事玫颐吗募霞蜡郸雅第三节联言命题及其推理第三节联言命题及其推理p∧¬q∧r┣?p∧¬q∧r┣p∧¬qp∧¬q∧r┣p∧rp∧¬q∧r┣¬q∧rp∧¬q∧r┣p∧¬q∧rp∧¬q∧r┣pp∧¬q∧r┣¬qp∧¬q∧r┣r侗垣疮糜鸳淀尸芽太林制颤捶粉幂妈正垂冈沽涂缕提赊漏粒晒狸带最煮补第三节联言命题及其推理第三节联言命题及其推理