法律逻辑学.ppt

法律逻辑学,责任教师 赵曼初Zmc_,第六章 复合判断及其演绎推理,第一节 假言三段论推理第二节 假言联言推理第三节 假言选言推理第四节 假言连锁推理第五节 负判断及其等值推理第六节 真值表方法及其应用,第一节 假言三段论推理,假言三段论推理实际上是混合假言推理，一个前提为假言判断，另一个前提为非假言判断中的任何一种判断，并且根据假言联结项的逻辑性质推出结论的演绎推理。一、充分条件假言三段论推理二、必要条件假言三段论推理三、充分必要条件假言三段论推理,充分条件假言三段论推理,一个前提为充分条件假言判断，另一个前提为其它类型的判断，并且根据充分条件假言联结项的逻辑性质推出结论的假言三段论推理。推理规则（1）肯定前件就要肯定后件；否定后件就要否定前件。（2）否定前件不能否定后件；肯定后件不能肯定前件。,充分条件假言三段论推理有效式肯定前件式,老马识途如果是老马，那么就不会迷路；现在让老马带路，所以，我们一定不会迷路。如果p，那么q pq P p 所以，q q,充分条件假言三段论推理有效式否定后件式,纪晓岚跳河，看见屈原如果皇上让我去跳河，那么皇上与楚怀王一样是昏君；皇上不是昏君。所以，皇上不会让我去跳河。如果p，那么q pq 非q 非q 所以，非p 非p,充分条件假言三段论推理无效式否定前件式,如果某甲故意犯罪，那么他应负刑事责任；某甲没有故意犯罪。所以，某甲不应负刑事责任。逻辑错误：从否定前件到否定后件如果p，那么q pq 非 p 非p 所以，非q 非q,充分条件假言三段论推理无效式肯定后件式,如果某甲犯了渎职罪，那么他应受到刑罚的处罚；某甲受到了刑罚的处罚。所以，他犯了渎职罪。逻辑错误：从肯定后件到肯定前件 如果p，那么q pq q q 所以，p p,必要条件假言三段论推理,一个前提为必要条件假言判断，另一个前提为其它类型的判断，并且根据必要条件假言联结项的逻辑性质推出结论的假言三段论推理。推理规则（1）否定前件就要否定后件；肯定后件就要肯定前件。（2）肯定前件不能肯定后件；否定后件不能否定前件。,必要条件假言三段论推理有效式肯定后件式,凶手戴黑纱只有最近家里有丧事才戴黑纱，凶手作案时戴着黑纱。所以，凶手最近家里一定有丧事。只有p，才q pq q q 所以，p p,必要条件假言三段论推理有效式否定前件式,刘某说谎只有窗户上的玻璃非常透明，才能看清屋内人的面容；李经理家的玻璃窗有雾气、不透明。所以，刘某不可能看清屋内人的面容，他在说谎。只有p，才q pq 非 p 非p 所以，非q 非q,必要条件假言三段论推理无效式肯定前件式,只有年满18岁的人，才有选举权；张三今年满18岁。所以，张三有选举权。逻辑错误：从肯定前件到肯定后件只有p，才q pq p p 所以，q q,必要条件假言三段论推理无效式否定后件式,只有年满18岁的人，才有选举权；张三今年没有选举权。所以，张三今年没有满18岁。逻辑错误：从否定后件到否定前件 只有p，才q pq 非q 非q 所以，非p 非p,充分必要条件假言三段论推理,一个前提为充分必要条件假言判断，另一个前提为其它类型的判断，并且根据充分必要条件假言联结项的逻辑性质推出结论的假言三段论推理。,充分必要条件假言三段论推理有效式：肯定前件式,当且仅当某枪弹的射程在1米以内时，则其弹孔周围有烟垢痕迹；某枪弹的射程在1米以内。所以，其弹孔周围有烟垢痕迹。当且仅当p，才q pq P p 所以，q q,充分必要条件假言三段论推理有效式：否定前件式,当且仅当某枪弹的射程在1米以内时，则其弹孔周围有烟垢痕迹；某枪弹的射程不是在1米以内。所以，其弹孔周围没有烟垢痕迹。当且仅当p，才q pq 非P 非p 所以，非q 非q,充分必要条件假言三段论推理有效式：肯定后件式,当且仅当某枪弹的射程在1米以内时，则其弹孔周围有烟垢痕迹；其弹孔周围有烟垢痕迹。所以，某枪弹的射程在1米以内。当且仅当p，才q pq q q 所以，p p,充分必要条件假言三段论推理有效式：否定后件式,当且仅当某枪弹的射程在1米以内时，则其弹孔周围有烟垢痕迹；其弹孔周围没有烟垢痕迹。所以，某枪弹的射程不是在1米以内。当且仅当p，才q pq 非q 非q 所以，非p 非p,旅行者是在真城还是在假城？,真城居民全部讲真话，假城居民全部讲假话。旅行者的问题：你是这座城市的居民吗？旅行者的思考：如果我在真城，对方若是真城居民，一定回答是；对方若是假城居民，也一定回答是。如果我在假城，对方若是真城居民，一定回答不是；对方若是假城居民，也一定回答不是。,旅行者运用了充分必要条件假言三段论推理的肯定后件式,只有我在真城，当且仅当对方回答是；对方回答是。所以，我一定在真城。只有我在假城，当且仅当对方回答不是；对方回答不是。所以，我一定在假城。当且仅当p，才q pq q q 所以，p p,指出下列假言三段论推理的种类并写出其逻辑形式，说明其是否正确？为什么？,P.148-1-1、只有国家工作人员，才会犯收受贿赂罪；该被告犯有收受贿赂罪，所以，该被告是国家工作人员。这是必要条件假言三段论推理的肯定后件式，逻辑形式(（pq）q)p,推理形式正确，因为根据 必要条件假言三段论推理规则“肯定后件，就要肯定前件”。,指出下列假言三段论推理的种类并写出其逻辑形式，说明其是否正确？为什么？,P.148-1-3、只有具有社会危害性的行为，才是犯罪行为；李某的行为不是犯罪行为，所以，李某的行为不具有社会危害性。这是必要条件假言三段论推理的否定后件式，逻辑形式(（pq）非q)非p,推理形式不正确，违反 必要条件假言三段论推理规则“否定后件，不能否定前件”，犯有“由否定后件到否定前件”的逻辑错误。,指出下列假言三段论推理的种类并写出其逻辑形式，说明其是否正确？为什么？,P.149-1-5、如果死者是煤气中毒死亡的，那么尸斑呈现鲜红色；该死者尸斑呈现鲜红色，所以，该死者是煤气中毒死亡的。这是充分条件假言三段论推理的肯定后件式，逻辑形式(（pq）q)p,推理形式不正确，违反充分条件假言三段论推理规则“肯定后件，不能肯定前件”，犯有“由肯定后件到肯定前件”的逻辑错误。,指出下列假言三段论推理的种类并写出其逻辑形式，说明其是否正确？为什么？,P.149-1-6、只有去过作案现场的人，才是该案的杀人凶犯；某甲去过作案现场，所以，某甲是该案的杀人凶犯。这是必要条件假言三段论推理的肯定前件式，逻辑形式(（pq）p)q,推理形式不正确，违反必要条件假言三段论推理规则“肯定前件，不能肯定后件”，犯有“由肯定前件到肯定后件”的逻辑错误。,指出下列假言三段论推理的种类并写出其逻辑形式，说明其是否正确？为什么？,P.149-1-8、只有从死者体内检出砷的残余物，死者才是服砷中毒死亡的；今死者尸体内检出了砷的残余物，所以，死者是服砷中毒死亡的。这是必要条件假言三段论推理的肯定前件式，逻辑形式(（pq）p)q,推理形式不正确，违反必要条件假言三段论推理规则“肯定前件，不能肯定后件”，犯有“由肯定前件到肯定后件”的逻辑错误。,指出下列假言三段论推理的种类并写出其逻辑形式，说明其是否正确？为什么？,P.149-1-11、要是以营利为目的而伪造股票，那么就犯伪造有价证券罪；张某以营利为目的而伪造股票，所以，张某犯伪造有价证券罪。这是充分条件假言三段论推理的肯定前件式，逻辑形式(（pq）p)q,推理形式正确，符合充分条件假言三段论推理规则“肯定前件，就要肯定后件”。,根据复合判断推理的有关规则，指出下列推理逻辑形式是否正确？若错误，请改为正确形式(第一个前提不动),P.150-2-3、错误。可改为:如果p，那么q；如果p,那么q；q，非q，所以，p 所以，非p。,根据复合判断推理的有关规则，指出下列推理逻辑形式是否正确？若错误，请改为正确形式(第一个前提不动),P.150-2-4、错误。可改为:只有p，才q；只有p,才q；p，非p，所以，q 所以，非q。,根据复合判断推理的有关规则，指出下列推理逻辑形式是否正确？若错误，请改为正确形式(第一个前提不动),P.150-2-5、错误。可改为:如果p，那么q；如果p,那么q；非p，p，所以，非q 所以，q。,根据复合判断推理的有关规则，指出下列推理逻辑形式是否正确？若错误，请改为正确形式(第一个前提不动),P.151-2-9、错误。可改为:或者p，或者q；或者p,或者q；q，非q，所以，非p 所以，p。,第二节 假言联言推理,由假言判断和联言判断作前提，并且根据假言前提联结项的逻辑性质而推出结论的演绎推理。常见的假言联言推理是以两个充分条件假言判断和一个两肢的联言判断作前提，推出一个简单判断（或其负判断）或一个两肢联言判断作结论。,假言联言推理的分类,依据结论分类简单式（简单判断或其负判断）复杂式（联言判断）依据前提分类构成式（联言肢肯定 充分条件假言前提的前件）破坏式（联言肢否定 充分条件假言前提的后件）,假言联言推理的简单构成式,如果某甲犯贪污罪，那么他应受刑罚处罚；如果某甲犯盗窃罪，那么他应受刑罚处罚；某甲既犯贪污罪又犯盗窃罪；所以，某甲应受刑罚处罚。如果p，那么r；如果q，那么r；p并且q；所以，r。,假言联言推理的简单破坏式,如果某人真正认识了错误，那么他会诚恳地承认错误；如果真正认识了错误，那么他会自觉地改正错误；某人既不诚恳地承认错误，又不自觉地改正错误；所以，他并没有真正认识错误。如果p，那么q；如果p，那么r；非q并且非r；所以，非p。,假言联言推理的复杂构成式,如果我们要保持正确的政治方向，那就要坚持四项基本原则；如果我们要早日实现社会主义现代化，那就要坚持改革开放的总方针；我们既要保持正确的政治方向，又要早日实现社会主义现代化；所以，我们既要坚持四项基本原则，又要坚持改革开放的总方针。如果p，那么r；如果q，那么s；p并且q；所以，r并且s。,假言联言推理的复杂破坏式,如果说我家墓田风水不吉，我不当贵为天子；如果说我家墓田风水吉利，我弟不当战死；今我贵为天子而我弟战死；所以，我家墓田风水不是不吉，也不是吉利。如果p，那么r；如果q，那么s；非r并且非s；所以，非p并且非q。,第三节 假言选言推理,由假言判断和选言判断作前提，并且根据假言前提联结项的逻辑性质而推出结论的演绎推理。常见的假言选言推理是以两个充分条件假言前提和一个两肢的选言前提构成的。这种推理的突出作用是在论辩中置论敌于左右为难的境地，故称二难推理。,假言选言推理（二难推理）的分类,依据结论分类简单式（简单判断或其负判断）复杂式（选言判断）依据前提分类构成式（选言肢肯定 充分条件假言前提的前件）破坏式（选言肢否定 充分条件假言前提的后件）,假言选言推理的简单构成式上帝能够创造一块他自己也举不起来的石头吗,如果上帝能够创造一块他自己举不起来的石头，那么他不是万能的；如果上帝不能创造一块他自己举不起来的石头，那么他也不是万能的；上帝或者能够创造一块这样的石头，或者不能创造一块这样的石头；所以，上帝不是万能的。如果p，那么r；如果q，那么r；p或者q；所以，r。,假言选言推理的简单构成式是人还是吸血鬼？,一场大瘟疫使得一半的人和吸血鬼精神错乱，山上的居民由此分成四类：神志清醒的人说真话，精神错乱的人说假话；神志清醒的吸血鬼说假话，精神错乱的吸血鬼说真话。社会学者考察山上的居民，提出两个问题：“你神志清醒吗？”“你是人吗？”,假言选言推理的简单构成式,“你神志清醒吗？”第一个问题用来区别人和吸血鬼如果是神志清醒的人，那么一定回答是；如果是精神错乱的人，那么也一定回答是；或者是神志清醒的人，或者是精神错乱的人；总之，他一定回答是。如果是神志清醒的吸血鬼，那么一定回答不是；如果是精神错乱的吸血鬼，那么也一定回答不是；或者是神志清醒的吸血鬼，或者是精神错乱的吸血鬼；总之，他一定回答不是。,假言选言推理的简单构成式“你是人吗？”,第二个问题用来区别神志清醒者和精神错乱者如果是神志清醒的人，那么一定回答是；如果是神志清醒的吸血鬼，那么也一定回答是；或者是神志清醒的人，或者是神志清醒的吸血鬼；总之，他一定回答是。如果是精神错乱的人，那么一定回答不是；如果是精神错乱的吸血鬼，那么也一定回答不是；或者是精神错乱的人，或者是精神错乱的吸血鬼；总之，他一定回答不是。,假言选言推理的简单破坏式,如果一部文艺作品受到社会广泛欢迎，那么其故事情节一定很感人；如果一部文艺作品受到社会广泛欢迎，那么它的艺术性一定较高；这部文艺作品或者故事情节不感人，或者艺术性不高；所以，它没有受到社会的广泛欢迎。如果p，那么q；如果p，那么r；非q或者非r；所以，非p。,假言选言推理的复杂构成式三国演义第54回刘备相亲,如果让刘备成亲，那么就得不到荆州；如果不让刘备成亲，那么就要被世人耻笑；或者让刘备成亲，或者不让刘备成亲；总之，或者得不到荆州，或者被世人耻笑。如果p，那么r；如果q，那么s；p或者q；所以，r或者s。,假言选言推理的复杂构成式苏格拉底劝男人都去结婚,如果你娶到一个好老婆，那么你会获得人生的幸福；如果你娶到一个坏老婆，那么你会成为一位哲学家；你或者娶到一个好老婆，或者娶到一个坏老婆；所以，你或者获得人生的幸福，或者成为一位哲学家。,假言选言推理的复杂破坏式,如果刮台风，那么会下大雨；如果发生海啸，那么会有狂潮；这里或者没有下大雨，或者没有狂潮；所以，这里或者没有台风登陆，或者没有发生海啸。如果p，那么r；如果q，那么s；非r或者非s；所以，非p或者非q。,第四节 假言连锁推理,以两个（或两个以上）假言判断为前提，并且根据假言前提联结项的逻辑性质，从而推出一个假言判断为结论的假言推理。由于其前提和结论都是假言判断，假言连锁推理又称纯粹假言推理。一般特点：前提中前一个 假言判断的后件和后一个 假言判断前件相同，并以此 作为前提之间的媒介。,充分条件假言连锁推理,以两个充分条件假言判断为前提的假言连锁推理（一）肯定式结论的前件肯定第一个充分条件假言前提的前件，结论的后件肯定最后一个充分条件假言前提的后件的充分条件假言连锁推理。（二）否定式,充分条件假言连锁推理肯定式,如果企业不能有效地开发新产品，那么企业就没有活力；如果企业没有活力，那么企业在市场竞争中就会被淘汰；所以，如果企业不能有效地开发新产品，那么企业在市场竞争中就会被淘汰。如果p，那么q；如果q，那么r；所以，如果p，那么r。,充分条件假言连锁推理,（二）否定式结论的前件否定最后一个充分条件假言前提的后件，结论的后件否定第一个充分条件假言前提的前件的充分条件假言连锁推理。,充分条件假言连锁推理否定式,如果某甲是该案的案犯，那么他到过案发现场；如果他到过案发现场，那么他有作案时间；所以，如果某甲没有作案时间，那么某甲不是该案的案犯。如果p，那么q；如果q，那么r；-所以，如果非r，那么非p。,必要条件假言连锁推理,以两个必要条件假言判断为前提的假言连锁推理（一）否定式结论的前件否定第一个必要条件假言前提的前件，结论的后件否定最后一个必要条件假言前提的后件的必要条件假言连锁推理。（二）肯定式,必要条件假言连锁推理否定式,只有发展社会主义市场经济，才能提高经济效益；只有提高经济效益，才能改善人民生活；所以，如果不发展社会主义市场经济，就不能改善人民生活。只有p，才q；只有q，才r；所以，如果非p，那么非r。,必要条件假言连锁推理,（二）肯定式结论的前件肯定最后一个必要条件假言前提的后件，结论的后件肯定第一个必要条件假言前提的前件的必要条件假言连锁推理。,必要条件假言连锁推理肯定式,只有完善了市场机制，才能发展商品经济；只有发展商品经济，才能实现社会主义现代化；所以，如果实现了社会主义现代化，那么完善了市场机制。只有p，才q；只有q，才r；-所以，如果r，那么p。,第五节 负判断及其等值推理,一、什么是负判断二、负判断的类型及其等值推理（一）、负性质判断及其等值推理（二）、负复合判断及其等值推理,负性质判断及其等值推理,1、负全称肯定判断及其等值推理负全称肯定判断:并非SAP并非所有金属都是固体。负全称肯定判断等值推理(依据矛盾关系)并非SAPSOP并非所有金属都是固体；所以，有金属不是固体,负性质判断及其等值推理,2、负全称否定判断及其等值推理负全称否定判断:并非SEP并非所有金属都是固体。负全称否定判断等值推理(依据矛盾关系)并非SEPSIP并非所有液体都不是金属；所以，有液体是金属。,负性质判断及其等值推理,3、负特称肯定判断及其等值推理负特称肯定判断:并非SIP并非有些鲸鱼是鱼。负特称肯定判断等值推理(依据矛盾关系)并非SIPSEP并非有些鲸鱼是鱼；所以，所有鲸鱼都不是鱼。,负性质判断及其等值推理,4、负特称否定判断及其等值推理负特称否定判断:并非SOP并非有些事物不是运动的。负特称否定判断等值推理(依据矛盾关系)并非SOPSAP并非有些事物不是运动的；所以，所有事物都是运动的。,负复合判断及其等值推理,1、负联言判断及其等值推理联言判断负联言判断必须同真至少一假，可以同假并非(pq)(非p非q)并非这种服装物美价廉；所以，这种服装 或者物不美或者价不廉。,负复合判断及其等值推理,2、负选言判断及其等值推理（1）负相容选言判断及其等值推理相容选言判断负相容选言判断至少一真，可以同真必须同假并非(p q)(非p 非q)本案的案犯并非甲或乙；所以，本案的案犯既 不是甲也不是乙。,负复合判断及其等值推理,2、负选言判断及其等值推理（2）负不相容选言判断及其等值推理不相容选言判断负不相容选言判断至少一真，只有一真或者同真，或者同假并非(p 要么 q)(p q)(非p 非q)并非要么你来，要么他来；所以，或者你来他也来，或者你不来他也不来。,负复合判断及其等值推理,3、负假言判断及其等值推理（1）负充分条件假言判断及其等值推理充分条件假言判断负充分条件假言判断条件存在，后果存在条件存在，后果不存在并非（p q）（p 非q）并非如果天下雨，那么你不去上课；所以，尽管天下了雨，但你仍然去上课。,负复合判断及其等值推理,3、负假言判断及其等值推理（2）负必要条件假言判断及其等值推理必要条件假言判断负必要条件假言判断条件不存在，后果不存在条件不存在，后果存在并非（p q）（非p q）并非只有天才，才能发明创造；所以，不是天才，也能发明创造。,负复合判断及其等值推理,3、负假言判断及其等值推理（3）负充分必要条件假言判断及其等值推理充分必要条件假言判断负充分必要条件假言判断并非当且仅当风调雨顺，才能获得丰收；所以，或者风调雨顺但没有获得丰收，或者不是风调雨顺却获得丰收。并非（p q）（p 非q）（非p q）条件存在，后果存在；条件不存在，后果不存在。条件存在，后果不存在；条件不存在，后果存在。,第六节 真值表方法及其应用,真值表是能显示任何复合判断在它的肢判断的各种真值组合下，所取的真值情况的一种数理逻辑图表。真值表方法就是运用这种图表来计算和显示复合判断的真值，定义复合判断的逻辑联结词，确定复合判断间的真值关系和 判定复合判断的推理形式 是否有效的一种方法。,利用真值表判定复合判断的真值,（一）将复合判断符号化为数理逻辑的命题表达式 张三或者是企业家，或者是经济学家。p张三是企业家，q张三是经济学家 或者或者 p q（二）用真值表方法去判定 复合判断命题表达式的真值,利用真值表判定复合判断的真值,利用真值表判定两个复合判断的关系：等值关系,利用真值表判定两个复合判断的关系：蕴涵关系,利用真值表判定两个复合判断的关系：下反对关系,利用真值表判定两个复合判断的关系：反蕴涵关系,利用真值表判定复合推理是否有效：永真式（重言式）,利用真值表判定复合推理是否有效：真假不定式（可满足式）,利用真值表判定复合推理是否有效：永假式（矛盾式）,以下列议论为前提进行推理能否必然推出结论？如能，请写出结论与逻辑形式；如不能，请说明理由,P.155-5-3、只有握有本商店钥匙的人参与盗窃，商店的门窗、门锁才会完好无损；经现场勘察，门窗、门锁完好无损；用必要条件假言三段论肯定后件式必然推出结论：“是握有本商店钥匙的人参与盗窃。”逻辑形式：(（pq）q)p,以下列议论为前提进行推理能否必然推出结论？如能，请写出结论与逻辑形式；如不能，请说明理由,P.155-5-4、如果杨某是该案的杀人凶犯，那么他具备作案时间；经查实，杨某具备作案时间；不能必然推出结论。因为前提是肯定充分条件假言判断的后件，而根据充分条件假言推理的规则“肯定后件不能肯定前件”，否则会犯“由肯定后件到 肯定前件”的逻辑错误。,以下列议论为前提进行推理能否必然推出结论？如能，请写出结论与逻辑形式；如不能，请说明理由,P.155-5-7、只有掌握医药知识和医疗技术的人，才会对受害者注射过量苯巴比妥钠使其死亡；李某掌握医药知识和医疗技术；不能必然推出结论。因为前提是肯定必要条件假言判断的前件，而根据必要条件假言推理的规则“肯定前件不能肯定后件”，否则会犯“由肯定前件到 肯定后件”的逻辑错误。,以下列议论为前提进行推理能否必然推出结论？如能，请写出结论与逻辑形式；如不能，请说明理由,P.155-5-10、孙亮想：“要么是藏吏早已使鼠屎入蜜，要么是黄门刚才使鼠屎入蜜。如果藏吏保管蜂蜜不当，鼠屎早已掉入蜜中，那么鼠屎里面应当是湿的。”于是，当即命令把鼠屎剖开，发现鼠屎里面是干的。据此，作出明断。孙亮是用充分条件假言三段论否定后件式进行推理的，必然推出结论：“不是藏吏保管蜂蜜不当，而是黄门刚才使鼠屎入蜜。”逻辑形式：(（pq）非q)非p,以下列议论为前提进行推理能否必然推出结论？如能，请写出结论与逻辑形式；如不能，请说明理由,P.156-5-11、折狱龟鉴举乃取猪二口，一杀之，一活之，而积薪烧之，活者口中有灰，杀者口中无灰，因验尸，口果无灰也。张举是用充分条件假言三段论否定后件式进行推理的，必然推出结论：“其夫不是死于火。”（如果是被火烧死的，口中就有灰；其夫口中无灰；所以，其夫不是死于火。）逻辑形式：(（pq）非q)非p,以下列议论为前提进行推理能否必然推出结论？如能，请写出结论与逻辑形式；如不能，请说明理由,P.156-5-12、如果父母像牛马一样忍受最大的牺牲去娇惯放纵孩子，那么孩子将成为家庭的暴君；如果父母像牛马一样忍受最大的牺牲去娇惯放纵孩子，那么孩子将成为社会的叛徒。小李是人人称赞的好青年，他既不是家庭的暴君，也不是社会的叛徒。用假言联言推理的简单破坏式可必然推出结论：“小李的父母没有像牛马一样忍受最大的牺牲去娇惯放纵孩子。”逻辑形式：pqpr非q非r非p,以下列议论为前提进行推理能否必然推出结论？如能，请写出结论与逻辑形式；如不能，请说明理由,P.156-5-13、如果张某是投毒犯，那么他有投毒的作案动机；如果张某是投毒犯，那么他有作案的时间；张某或者没有投毒的作案动机，或者没有作案的时间。用假言选言推理的简单破坏式可必然推出结论：“张某不是投毒犯。”逻辑形式：pqpr非q非r非p,以下列议论为前提进行推理能否必然推出结论？如能，请写出结论与逻辑形式；如不能，请说明理由,P.156-5-14、鲁迅先生说：“中国公共的东西，实在不容易保存。如果当局是外行，他便将东西糟完；倘是内行，他便将东西偷完。”在旧中国，当局者或者是内行，或者是外行。用假言选言推理的复杂构成式式可必然推出结论：“当局者或者将东西糟完，或者将东西偷完。”逻辑形式：prqspq rs,指出下列负判断等值推理的种类，并写出其逻辑形式，说明其是否正确，为什么？P.157-6-2、,并非如果经被害人同意而剥夺其生命的行为，就是合法行为；所以，尽管经被害人同意而剥夺其生命的行为也是违法行为。这是负充分条件假言判断等值推理，逻辑形式：(并非（pq）)(p非q)。推理形式正确，因为“并非（pq）”等值于“p非q”，由“并非（pq）”必然推出“p非q”。,指出下列负判断等值推理的种类，并写出其逻辑形式，说明其是否正确，为什么？P.157-6-4、,并非所有杀人犯罪都是过失犯罪；所以，所以杀人犯罪都不是过失犯罪。这是负全称肯定判断等值推理，逻辑形式：并非SAPSEP。推理形式不正确，因为“并非SAP”不等值于“SEP”，由“并非SAP”不能推出“SEP”。,指出下列负判断等值推理的种类，并写出其逻辑形式，说明其是否正确，为什么？P.157-6-6、,并非李某既是教师，又是律师；所以，李某既不是教师，也不是律师。这是负联言判断等值推理，逻辑形式：并非（pq）非p非q。推理形式不正确，因为“并非（pq）”不等值于“非p非q”，由“并非（pq）”不能推出“非p非q”。,指出下列负判断等值推理的种类，并写出其逻辑形式，说明其是否正确，为什么？P.157-6-8、,并非陈某要么犯诈骗罪，要么犯贪污罪；所以，陈某既未犯诈骗罪，也未犯贪污罪。这是负不相容选言判断等值推理，逻辑形式：并非（p要么q）非p非q。推理形式不正确，因为“并非（p要么q）”不等值于“非p非q”，由“并非（p要么q）”不能推出“非p非q”。,指出下列负判断等值推理的种类，并写出其逻辑形式，说明其是否正确，为什么？P.158-6-10、,并非所有捕捞水产品的行为都是非法行为；所以，有一部分捕捞水产品的行为是非法行为。这是负全称肯定判断等值推理，逻辑形式：并非SAPSIP。推理形式不正确，因为“并非SAP”不等值于“SIP”，由“并非SAP”不能推出“SIP”。,指出下列负判断等值推理的种类，并写出其逻辑形式，说明其是否正确，为什么？P.158-6-14、,并非只有司法机关工作人员，才需要学法；所以，不是司法机关工作人员也需要学法。这是负必要条件假言判断等值推理，逻辑形式：(并非（pq）)(非pq)。推理形式正确，因为“并非（pq）”等值于“非pq”，由“并非（pq）”必然推出“非pq”。,指出下列负判断等值推理的种类，并写出其逻辑形式，说明其是否正确，为什么？P.158-6-16、,并非当且仅当生活困难的人，则贪污犯罪；所以，或者生活困难的人并未犯贪污罪，或者生活富裕的人还犯贪污罪。这是负充分必要条件假言判断等值推理，逻辑形式：(并非（pq）)(p非q)（非pq）。推理形式正确，因为“并非（pq）”等值于“（p非q）（非pq）”，由“并非（pq）”必然推出“（p非q）（非pq）”。,请用真值表检验下列各组中的 判断是否等值,1、只有掌握刑法学，才能学好刑事诉讼法。如果能学好刑事诉讼法，则掌握了刑法学。将判断符号化为pq，qp，作真值表如下：,1、将判断符号化为pq，qp，作真值表如下：,请用真值表检验下列各组中的 判断是否等值,2、并非如果是听话的孩子，就是有出息的孩子。只有不听话的孩子，才是有出息的孩子。将判断符号化为并非（pq）；非pq，作真值表如下：,2、将判断符号化为并非（pq）；非pq，作真值表如下：,请用真值表检验下列各组中的 判断是否等值,3、并非只有抽烟的人，才会吸毒。如果不喜欢抽烟，就会吸毒。将判断符号化为并非（pq）；非pq，作真值表如下：,3、将判断符号化为并非（pq）；非pq，作真值表如下：,请用真值表检验下列各组中的 判断是否等值,4、并非该被告既守法，又遵守本单位的规章制度。该被告既不守法，又不遵守本单位的规章制度。将判断符号化为并非（pq）；非p非q，作真值表如下：,4、将判断符号化为并非（pq）；非p非q，作真值表如下：,请用真值表检验下列各组中的 判断是否等值,6、并非该被告或者赔偿了医药费，或者赔偿了生活费。该被告或者没有赔偿医药费，或者没有赔偿生活费。将判断符号化为并非（pq）；非p非q，作真值表如下：,6、将判断符号化为并非（pq）；非p非q，作真值表如下：,请用真值表检验下列各组中的 判断是否等值,8、并非如果人多，事情就好办。人很多并且事情难办。将判断符号化为并非（pq）；p非q，作真值表如下：,8、将判断符号化为并非（pq）；p非q，作真值表如下：,指出下列复合推理的种类，写出其推理的逻辑形式，说明其是否正确，为什么？,P.162-8-6、这是假言选言推理简单构成式，逻辑形式(pr)(qr)(pq)r推理形式虽有效，但第二个假言前提前后件不构成充分条件关系，故该推理不正确。,P.163-8-9、董县令用了如下三个推理：,（1）如果是杀鸡，则应该在厨房中杀；现在情况不是在厨房中杀，可见杀的不是鸡。这是充分条件假言三段论推理的否定后件式，逻辑形式(（pq）非q)非p,推理形式正确，因为根据充分条件假言三段论推理规则“否定后件，就要否定前件”。,P.163-8-9、董县令用了如下三个推理：,（2）董县令用针刺出血珠尝了一下，发现人血是咸的，而鸡血是淡的，所以，木柜上的血点是咸的人血。这是联言推理的分解式，逻辑形式(pq)p，推理形式正确。（3）木柜子上的血迹要么是人血，要么是鸡血；木柜上的血点是咸的人血。所以，不是鸡血。这是不相容选言推理的肯定否定式，逻辑形式是(（p要么q）p)非q，该推理形式正确，符合不相容选言推理规则。,P.164-8-10、侦查人员陈晟有四个推断：,（1）如果不懂得引爆技术，那么就不能够作案，而赵民富两年前在公路局采石场当过爆破工，懂得引爆技术，可见，赵民富是凶手可以初步认定。这是充分条件假言三段论推理的否定前件式，逻辑形式(（pq）非p)非q,推理形式不正确，违反充分条件假言三段论推理规则“否定前件，不能否定后件”，犯有“由否定前件到否定后件”的逻辑错误。,P.164-8-10、侦查人员陈晟有四个推断：,（2）只有存有雷管和炸药，才具备作案条件，而现在已从赵民富的箱子中找到三枚雷管和两公斤炸药，这就可以进一步确定赵民富是凶手。这是必要条件假言三段论推理的肯定前件式，逻辑形式(（pq）p)q,推理形式不正确，违反必要条件假言三段论推理规则“肯定前件，不能肯定后件”，犯有“由肯定前件到肯定后件”的逻辑错误。,P.164-8-10、侦查人员陈晟有四个推断：,（3）如果赵民富是杀人凶手，那么他应当有作案动机。事实上，赵民富和李春贵为休假一事发生过争吵并互相打斗，赵民富报复杀人的动机是存在的。这就可以完全肯定赵民富是杀人凶手。这是充分条件假言三段论推理的肯定后件式，逻辑形式(（pq）q)p,推理形式不正确，违反充分条件假言三段论推理规则“肯定后件，不能肯定前件”，犯有“由肯定后件到肯定前件”的逻辑错误。,P.164-8-10、侦查人员陈晟有四个推断：,（4）作案或者赵民富所为，或者王华新所为；现在已肯定赵民富所为，所以，王华新没有参与杀害李春贵，王华新是无罪的。这是相容选言推理的肯定否定式，逻辑形式是(pq)p)非q,该推理形式不正确，违反相容选言推理规则“肯定一部分选言肢，则不能否定另一部分选言肢”，犯了“由肯定一部分选言肢进而否定另一部分选言肢”的逻辑错误。,指出下列复合推理的种类，写出其推理的逻辑形式，说明其是否正确，为什么？,P.164-8-11、吴天虚运用了假言联言推理复杂破坏式，逻辑形式(（pr）(qs)(非r非s)（非p非q），推理形式正确。,P.165-8-12、张杲卿运用了两个推理：,（1）只有妇人早先已知道井内的死者是自己的丈夫，才会在无法辨认的情况下确认死者是自己的丈夫；妇人正是这样确认的。所以，妇人早先已知道井内的死者是自己的丈夫。这是必要条件假言三段论推理的肯定后件式，逻辑形式(（pq）q)p,推理形式正确，因为根据必要条件假言三段论推理规则“肯定后件，就要肯定前件”。,P.164-8-12、张杲卿运用了两个推理：,（2）如果死者是活活溺死的，那么尸体的口腔和鼻孔中必有泥沙。验尸发现死者的口腔和鼻孔中没有泥沙，所以，死者不是滑入井中被活活溺死的。这是充分条件假言三段论推理的否定后件式，逻辑形式(（pq）非q)非p,推理形式正确，因为根据充分条件假言三段论推理规则“否定后件，就要否定前件”。,法律逻辑学,娄底广播电视大学赵曼初Zmc_,第七章 模态判断及其演绎推理,第一节 真值模态判断及其推理一、真值模态判断二、简单真值模态推理第二节 规范模态判断及其推理一、规范模态判断二、简单规范模态推理,真值模态判断（一）什么是真值模态判断,模态：英文modal的音译，含有情态、方式、样式等意思。模态词：真值模态词、规范模态词真值模态词：必然、可能规范模态词：必须、允许、禁止模态判断：含有模态词的判断,真值模态判断,真值模态判断：断定思维对象情况的必然性或可能性的判断。客观模态判断事物必然是运动、发展、变化的。主观模态判断地球以外的天体可能存在生物。,真值模态判断,模态判断也有真假二值劳动产品必然不是商品。基本粒子可能不包含矛盾。真值模态判断由真值模态词和基础判断两部分组成真值模态词：必然（必定）可能（或许，也许）,（二）简单真值模态判断的种类,1、必然判断必然肯定判断：p必然否定判断：非p2、可能判断可能肯定判断：p可能否定判断：非p,必然肯定判断：p,资本主义必然会灭亡。资本主义灭亡是必然的。必定看到资本主义的灭亡。必然模态词的位置是多变的共同的逻辑形式：必然p,必然否定判断：非p,地球必然不是火星。动物不是植物是必然的。必定不能看到恐龙的称霸。共同的逻辑形式：必然不p必然非p,可能肯定判断：p,可能模态词的位置更是多变的他俩可能是同学。有可能他俩是同学。他俩是同学是可能的。或许明天会下雨。他也许是一个医生。共同的逻辑形式：可能p,可能否定判断：非p,可能模态词的位置是多变的，请特别注意否定词的位置应写在模态词之后明天可能不下雨。明天不是阴天是可能的。可能不是他做的案。也许不能否定他的成绩。共同的逻辑形式：可能不p可能非p,简单真值模态判断之间的 真假关系,同素材简单真值模态判断之间的真假关系，叫真值模态对当关系，可用真值模态逻辑方阵表示。1、矛盾关系：不同真，不同假。2、反对关系：不同真，可同假。3、下反对关系：可同真，不同假。4、差等关系：可同真，可同假。,真值模态逻辑方阵,p 非pp 非p,矛盾关系：不同真，不同假。,p真，非p必假；非p 真，p必假；非p真，p必假；p 真，非p必假。张三必然会来。张三不可能不会来。张三可能不会来。张三不必然会来。,矛盾关系：不同真，不同假。,p假，非p必真；非p 假，p必真；非p假，p必真；p 假，非p必真。张三不必然会来。张三可能不会来。张三不可能不会来。张三必然会来。,矛盾关系：不同真，不同假。,p与非p、非p与p之间是矛盾关系p真，非p必假；非p 真，p必假；p假，非p必真；非p 假，p必真；非p真，p必假；p 真，非p必假；非p假，p必真；p 假，非p必真。,反对关系：不同真，可同假。,p真，非p必假；非p真，p必假张三必然会来。张三不必然不会来。张三必然不会来。张三不必然会来。,反对关系：不同真，可同假。,p假，非p 真假不定；非p假，p真假不定。张三不必然会来。不能确定：张三必然不会来。张三不必然不会来。不能确定：张三必然会来。,反对关系：不同真，可同假。,p与非p 之间是反对关系p真，非p必假；非p真，p必假；p假，非p 真假不定；非p假，p真假不定。,下反对关系：可同真，不同假。,p 真，非p 真假不定；非p 真，p 真假不定。张三可能会来。不能确定：张三可能不会来。张三可能不会来。不能确定：张三可能会来。,下反对关系：可同真，不同假。,p 假，非p 真；非p 假，p 真。张三不可能来。可以确定：张三可能不来。张三不可能不来。可以确定：张三可能会来。,下反对关系：可同真，不同假。,p 真，非p 真假不定；非p 真，p 真假不定。p 假，非p 真；非p 假，p 真。,差等关系：可同真，可同假。,差等关系由蕴涵关系和反蕴涵关系组成蕴涵关系:必然判断真，可能判断必真；必然判断假，可能判断真假不定。反蕴涵关系:可能判断假，必然判断必假；可能判断真，必然判断真假不定。,蕴涵关系：可同真，可同假。必然判断真，可能判断必真,p真，p 真；非p真，非p 真。张三必然会来。张三可能会来。张三必然不会来。张三可能不会来。,蕴涵关系：可同真，可同假。必然判断假，可能判断真假不定,p假，p 真假不定；非p假，非p 真假不定。张三不必然会来。无法确定：张三可能会来。张三不必然不会来。无法确定：张三可能不会来。,蕴涵关系：可同真，可同假。,蕴涵关系:必然判断真，可