法律思维训练-假言推理

必要条件假言推理010203必要条件假言推理的定义必要条件假言推理的规则必要条件假言推理正确形式目录必要条件假言推理

法律逻辑必要条件假言推理●被告刘某与被害人李某发生口角，刘某手持双筒猎枪打死李某。●公安机关根据被告刘某的供述，认定被害人李某在与刘某抢枪时将枪拽响，击中自己的右下腹而死亡，刘某应认作“过失杀人”。检察机关则根据三个证人的口供认为李某没有抢枪，应该认定刘某“故意杀人”。●审判人员仔细分析：被害人李某是被双筒猎枪击中腹部后死亡的；经尸体检验，已知伤口为3厘米×4厘米。而伤口长度是与射击距离成正比关系的，如果找出李某伤口长度与射击距离的比值，那么就可以用有关的数学公式计算出枪响与被害人之间的距离。如果距离较近，被害人伸手能抓住枪筒，才有夺枪的可能；否则没有夺枪的可能。于是，审判人员进行了一次侦查试验，结果表明：无论怎样，被害人都够不着枪筒，这就排除了被害人抢枪而拽响枪的可能性。最后，认定被告刘某故意杀人罪成立。充分条件假言推理

法律逻辑案例提要必要条件假言推理案例中的审判人员进行了如下必要条件假言推理：只有被害人距枪较近，才可能夺枪而拽响枪，被害人不是距枪较近，--------------------------------所以，被害人不可能夺枪而拽响枪。必要条件假言判断

法律逻辑必要条件假言推理1.必要条件假言推理的定义必要条件的假言推理是大前提是必要条件假言判断，小前提和结论是必要条件假言判断的肢判断的假言推理。例如：

只有证明犯罪的证据确凿而充分，才能提起公诉，

经查证明某甲犯罪的证据不确凿充分，------------------------------------

所以，对某甲不能提起公诉。必要条件假言推理

法律逻辑必要条件假言推理

2.必要条件假言推理的规则

第一，否定前件，必能否定后件；肯定前件，不能肯定后件；

第二，肯定后件，必能肯定前件；否定后件，不能否定前件。必要条件假言推理

法律逻辑必要条件假言推理3.必要条件假言推理正确形式

（1）否定前件式

只有作案时间，才可能是罪犯，

经查张某没有作案时间，---------------------

所以，张某不是罪犯。这就是一个必要条件假言推理的否定前件式。它是根据必要条件假言判断前件与后件的关系，即没有前件就一定没有后件。

必要条件假言推理

法律逻辑必要条件假言推理必要条件假言推理否定前件式的逻辑公式是：

只有p，才q，

非p，-----------

所以，非q。[(p←q)∧﹁p]→﹁q。必要条件假言推理

法律逻辑必要条件假言推理3.必要条件假言推理正确形式

（2）肯定后件式

其推理程序是：小前提肯定大前提必要条件假言判断的后件，从而结

论肯定大前提必要条件假言判断的前件。这个必要条件的假言推理是正确的，因为，根据必要条件假言判断前件与后件的关系，即有后件，就一定有前件，后件真，前件必真（后件是前件的充分条件）。所以，必要条件的假言推理，肯定后件就能肯定前件。因此，这个推理形式是正确的，得出结论是必然的。

必要条件假言推理

法律逻辑必要条件假言推理必要条件假言推理肯定后件式的逻辑公式是：

只有p，才q；

并且q；

所以，p。

即：[（p←q）∧q]→p

必要条件假言推理

法律逻辑必要条件假言推理课后思考课后思考如何理解必要条件假言推理的两种正确形式？必要条件假言推理

法律逻辑充分必要条件假言推理010203充分必要条件假言推理的定义充分必要条件假言推理的规则充分必要条件假言推理正确形式目录充分必要条件假言推理

法律逻辑充分必要条件假言推理必要条件假言判断

法律逻辑我们生活中有很多的充要条件推理。例如：下课铃响了，同学们陆陆续续走出教室，小刘和几个同学在教室多学习了一会。临走时，他们发现教室里有一个保温瓶没拿走，一问不是现场的人的，也不是在外面接电话的小丽的。于是大家讨论着这可能是谁的，小丽回来后问清情况，想了一会，她说：“我知道了，这是玲玲的保温瓶。班里用保温瓶的人就那么几个人而已，而只有玲玲是用黄色的。”小丽是这么推理的：班里只有玲玲一个人用黄色的保温瓶。这个保温瓶黄色的，所以它是玲玲的。这里面的推理关系为：只有黄色的保温瓶，才是玲玲的。充分必要条件假言推理1.充分必要条件假言推理就是大前提是充分必要条件假言判断，小前提和结论为性质判断的假言推理。

必要条件假言判断

法律逻辑充分必要条件假言推理2.充分必要条件假言推理的规则：第一，肯定前件就能肯定后件，否定前件就能否定后件；第二，肯定后件就能肯定前件，否定后件就能否定前件。必要条件假言判断

法律逻辑充分必要条件假言推理3.充分必要条件假言推理就有四种正确形式：

肯定前件式

否定前件式

肯定后件式

否定后件式充分必要条件假言推理

法律逻辑充分必要条件假言推理必要条件假言推理

法律逻辑（1）肯定前件式【例】当且仅当枪弹为近距离（1米以内）发射，弹孔周围才能有烟垢痕迹，经查受害者身上弹孔为近距离发射（1米以内），--------------------------------------------所以，枪弹孔周围有烟垢痕迹。充分必要条件假言推理充分必要条件假言推理肯定前件式的逻辑公式是：

当且仅当p，才q，

并且p，-----------

所以，q。[(p↔q)∧p]→q充分必要条件假言推理

法律逻辑充分必要条件假言推理必要条件假言推理

法律逻辑（2）否定前件式【例】当且仅当枪弹为近距离（1米以内）发射，弹孔周围才能有烟垢痕迹，经查枪弹不是近距离发射（1米以内），--------------------------------------------所以，枪弹孔周围没有烟垢痕迹。充分必要条件假言推理充分必要条件假言推理否定前件式的逻辑公式是：

当且仅当p，才q，

非p，-----------

所以，非q。[(p↔q)∧﹁p]→﹁q充分必要条件假言推理

法律逻辑充分必要条件假言推理必要条件假言推理

法律逻辑（3）肯定后件式【例】当且仅当枪弹为近距离（1米以内）发射，弹孔周围才能有烟垢痕迹，经查受害者身上弹孔周围有烟垢痕迹，--------------------------------------------所以，枪弹为近距离发射（1米以内）。充分必要条件假言推理充分必要条件假言推理肯定后件式的逻辑公式是：当且仅当p，才q，并且q，-----------------

所以p。即：[(p↔q)∧q]→p

充分必要条件假言推理

法律逻辑充分必要条件假言推理必要条件假言推理

法律逻辑（4）否定后件式【例】当且仅当枪弹为近距离（1米以内）发射，弹孔周围才能有烟垢痕迹，经查受害者身上弹孔周围没有烟垢痕迹，--------------------------------------------所以，枪弹不是在近距离发射（1米以内）。充分必要条件假言推理充分必要条件假言推理否定后件式的逻辑公式是：当且仅当p，才q，非q，-----------------

所以，非p。即：[(p↔q)∧﹁q]→﹁p

充分必要条件假言推理

法律逻辑充分必要条件假言推理课后思考课后思考如何理解充分必要条件假言推理的四种正确形式？充分必要条件假言推理

法律逻辑充分条件假言推理010203充分条件假言推理的定义充分条件假言推理的规则充分条件假言推理的正确形式目录充分条件假言推理

法律逻辑充分条件假言推理

一个星期六的深夜，水泽信夫在家里亲自煮了咖啡送到妻子跟前。妻子也高兴地喝了下去。不一会儿，就痛苦地挣扎着死去。原来，水泽信夫在咖啡里放了剧毒的农药。之后，他把妻子的尸体搬进卧室的床上，盖好被子，然后把装着喝剩下掺有毒药的咖啡的那个白色杯子放到妻子的枕边。接着，他又在妻子脸上抹上白粉，再擦上口红。因为他想起上次妻子自杀时曾化过妆。第二天早晨，他又装作刚刚发现妻子自杀的样子报了警。警察很快就来了，片山警长查看尸体后，问道：“有遗书吗？”“有，在枕头下面”。水泽信夫把妻子的遗书拿出来。警长读了遗书后，突然又拿起咖啡杯和死者的脸对比，看了好半天之后说：“死者不是自杀，是他杀。”充分条件假言推理

法律逻辑充分条件假言推理1.充分条件假言推理的定义

充分条件的假言推理是大前提是充分条件假言判断，小前提和结论是充分条件假言判断的肢判断的假言推理。【例】“如果王某是作案人，王某就有作案时间”

王某是作案人，所以王某有作案时间。充分条件假言推理

法律逻辑充分条件假言推理2.充分条件假言推理的规则

根据充分条件假言判断前后件的关系（p是q的充分条件，有p必有q；q是p的必要条件，无q必无p。）可知，充分条件假言推理有两条规则：第一，肯定前件就要肯定后件，否定后件就要否定前件；第二，否定前件不能否定后件，肯定后件不能肯定前件。充分条件假言推理

法律逻辑充分条件假言推理

3.充分条件假言推理的正确形式

（1）

肯定前件式（有效式）

如果死者生前入水而死的，那么他的肺部一定有硅藻反应，

尸检发现，死者的肺部没有硅藻反应，-------------------------------------

所以，死者不是生前入水而死的。充分条件假言推理

法律逻辑充分条件假言推理

充分条件假言推理

法律逻辑充分条件假言推理肯定前件式的逻辑公式是：如果p那么q，并且

p，---------所以q。即:[(p→q）∧p）]→q。充分条件假言推理3.充分条件假言推理正确形式

（2）否定后件式

如果某人犯了抢劫罪，那么某人一定是故意犯罪，

某人不是故意犯罪，————————

所以，某人没犯抢劫罪。充分条件假言推理

法律逻辑充分条件假言推理3.充分条件假言推理正确形式

（2）否定后件式

否定后件式的推理程序是：否定了充分条件假言判断的后件，结论就否定了假言判断的前件。根据充分条件假言判断前件与后件的关系，即没有后件，就没有前件，后件假，前件一定假（后件是前件的必要条件）。因此，否定了充分条件假言判断的后件“某人是故意犯罪”，结论就否定了充分条件假言判断的前件“某人犯了抢劫罪”。因而，这个充分条件假言推理的形式是正确的，得出结论是必然的。充分条件假言推