复合命题逻辑学入门复合命题1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题联言命题又称合取命题,是反映事物的若干种情况或者性质同时存在的命题。联结词:“是…也是…”“…并且…”“不但…而且…”“…但是…”等等。△ABC是锐角三角形,还是等腰三角形。今天下雨并且有大风。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题联言命题用合取符号∧表示,读作“合取”。pqp∧q真真真真假假假真假假假假1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题选言命题又称析取命题,是反映事物的若干种情况或性质至少有一种存在的命题。联结词:“不是…就是…”“…或者…”“…可能…也可能”今天下雨或者刮风。校长可能姓张或姓李。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题选言命题相容选言命题:两个命题肢可以同时成立。今天下雨或者刮风。△ABC可能是锐角三角形,也可能是等腰三角形。不相容选言命题:两个命题肢不能同时成立。校长可能姓张或姓李。一个实数要么是有理数,要么是无理数。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题选言命题相容:用合取符号∨表示,读作“析取”。pqp∨q真真真真假真假真真假假假1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题选言命题不相容:用析取符号∨表示,读作“或者”。pqp∨q真真假真假真假真真假假假··1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题假言命题又称条件命题,假言命题陈述一种事物情况是另一种事物情况的条件。假言命题中,在前的肢命题叫做前件,在后的肢命题叫做后件。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题假言命题充分条件假言命题:前件成立则后件一定成立。联接词:“如果…那么…”“只要…就…”等等。如果∠1和∠2是对顶角,那么∠1=∠2。只要是人,就得吃食物。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题假言命题充分条件假言命题,用蕴含符号表示,读作“蕴含”。pqpq真真真真假假假真真假假真1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题假言命题必要条件假言命题:前件不成立则后件一定不成立。联接词:“只有…才”等等。只有努力学习,才能成功。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题假言命题必要条件假言命题,用反蕴含符号表示,读作“反蕴含”。pqpq真真真真假真假真假假假真1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题假言命题充分必要条件假言命题:前件成立则后件一定成立,前件不成立后件一定不成立。多边形内角和是180度,当且仅当多边形是三角形。三角形有两个内角相等,则一定是等腰三角形,反之亦然。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题假言命题充分必要条件假言命题:用等值符号表示,读作“等值”。pqpq真真真真假假假真假假假真1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题负命题它是否定某个命题的命题。联接词:“并非…”“…它是假的”等等。并非所有人都是中国人。哺乳动物都胎生,这是假的。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题负命题充分必要条件假言命题:用符号表示,读作“并非”。pp假真真假1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题负命题对当关系:SAP的负命题是SOP所有人都会死并非所有人都会死SEP的负命题是SIP所有人都不能飞并非所有人都不能飞1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题二难推理也称假言选言推理,是由两个假言前提和一个具有二肢的选言前提联合作为前提而构成的推理。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题二难推理简单构成式:A或者B,如果A则C,如果B则C,所以,C。有人问“你还在偷东西吗?”回答“是”则说明一直在偷东西回答“不”则说明以前偷过东西无论回答“是”“否”都说明偷过东西。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题二难推理简单破坏式不B或者不C,如果A则B,如果A则C,所以,并非A。本科生在理论水平上不如研究生;本科生在动手能力上不如高职生;所以不应该培养本科生。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题二难推理复杂构成式A或者B,如果A则C,如果B则D,所以,C或者D。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题二难推理复杂破坏式不C或者不D,如果A则C,如果B则D,所以,不A或者不B。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理复合命题二难推理解决方法指出该二难推理的推理形式无效。指出对方推理的前提虚假。仿照原二难推理的形式结构构造一个结论相反的二难推理。1•联言命题2•选言命题3•假言命题4•负命题5•两难推理