侦查思维中的二难推理及其形式
（一）侦查思维中的二难推理的含义和一般形式
二难推理（dilemma）是选言假言推理的最简单、最常用的一种形式。选言假言推理是指以一个选言判断和几个假言判断为前提的复合推理形式。一般而言，在选言假言推理中，选言判断的选言支有几个，相应的假言判断就有几个。最简单的选言判断是二支选言判断，相应的假言判断就应该有两个，这种由一个二支选言判断和两个假言判断为前提构成的选言假言推理就是二难推理。
例如，根据群众举报，侦查人员从一个小伙子身上搜出了大量假币。面对小伙子的狡辩，侦查人员说：“你的假币或者是偷来的，或者是买来的；如果你的假币是偷来的，那么你涉嫌盗窃罪；如果你的假币是自己买来的，那么你涉嫌买卖假币罪。所以，你或者涉嫌盗窃罪，或者涉嫌买卖假币罪。”
二难推理的一般形式可以表述为：
A或者B；
如果A，那么C；
如果B，那么D；
所以，C或者D。
（二）侦查思维中的二难推理的要素和地位
从二难推理的上述一般形式可以看出，侦查思维中的二难推理包括如下要素：
1.二难推理的前提之一是一个二支选言判断。这个二支选言判断的两个选言支之间可能是相容的，可能是互斥的（相互反对或者相互矛盾）。
2.二难推理的其余前提是两个假言判断。这两个假言判断的前件分别是二支选言判断的两个选言支。
3.二难推理的结论也是一个二支选言判断，并且其两个选言支分别是前提中的两个假言判断的后件。
不少学者和论著认为二难推理是一种独立的复合推理。其实不然！笔者粗浅地认为，二难推理虽然是一种由一个选言判断和两个假言判断构成前提的特殊的复合推理，但是它并非一种独立的复合推理，而是一种特殊形式的假言推理。这不难从二难推理的证明过程中可以看出：
（1）A或者B；
（2）如果A，那么C；
（3）如果B，那么D；
所以，C或者D。
（1）推出：如果并非B，那么A （4）
（2）（4）推出：如果并非B，那么C（5）
（3）推出：如果并非D，那么并非B（6）
（5）（6）推出：如果并非D，那么C（7）
（7）推出：D或者C。（8）
（8）推出：C或者D。（9）
得证。(https://www.daowen.com)
从上述证明过程可以看出，二难推理从前提推出结论采用的还是假言推理，包括假言易位推理、假言连锁推理和选言假言转换推理等。
此外，从二难推理的一般形式可以直观地看出，二难推理从前提得出结论遵守的是假言推理“从肯定前件到肯定后件”推理规则，因为前提中的选言判断的两个选言支分别是前提中的两个假言判断的前件，而作为结论的选言判断的两个选言支分别是前提中的两个假言判断的后件。
（三）侦查思维中的二难推理的特殊形式
在实际运用中，二难推理有三种特殊形式。
二难推理的第一种特殊形式就是所谓的简单构成式。如果二难推理前提中的两个假言判断的后件相同，即D=C，那么，上述一般形式的二难推理变成：
A或者B；
如果A那么C；
如果B那么C；
所以，C。
其特征是：前提中的两个蕴含式的前件不同，并且前提中的二支析取式的两个析取支分别是这两个蕴含式的不同前件；前提中的两个蕴含式的后件相同，并且以这两个蕴含式的相同后件的肯定作为结论。
例如，在醉驾、酒驾查处中，面对驾驶员扑面而来的满身酒气，在可以断定驾驶员酒驾但是不能确定驾驶员醉驾的情况下，交警对意欲为自己辩解的驾驶员说：“你或者酒驾，或者醉驾；如果你是酒驾，那么你是涉嫌违法甚至犯罪的；如果你是醉驾，那么你也是涉嫌违法甚至犯罪的。所以，无论怎样，你都是涉嫌违法或者犯罪的。”
二难推理的第二种特殊形式就是所谓的矛盾构成式。如果二难推理前提中的选言判断的两个支判断之间是矛盾关系，即B=并非A，那么，上述一般形式的二难推理变成：
A或者并非A；
如果A那么C；
如果并非A那么D；
所以，C或者D。
其特征是：前提中的两个蕴含式的前件相互矛盾，并且这两个蕴含式的相互矛盾的前件构成前提中的二支析取式的析取支；前提中的这两个蕴含式的后件不同，并且作为其结论的二支析取式的两个析支分别是这两个蕴含式的不同后件。
由于仅从前提中的两个充分条件假言判断“如果A那么C”和“如果﹁ A那么D”就可以推出结论“C或者D”，因此其前提中的选言判断“A或者﹁ A”也可以省略。
例如，一个人在ATM前取钱后忘记取回银行卡，结果被另一人取走1500元现金。此人来到某派出所报案要求侦查人员立案侦查。面对这一要求，侦查人员犯难了：如果不予立案（因为达不到2000～5000元立案标准），那么这个人肯定会不答应、不满意甚至会投诉；如果予以立案，又会违反立案标准。再如，某人收取了刑事案件嫌疑人家属的钱用于帮助家属“捞人”。如果这个钱确实用于“捞人”，那么此人将涉嫌妨害公务或司法公正；如果这个钱并未用于“捞人”，那么此人将涉嫌诈骗。
二难推理的第三种特殊形式就是所谓的矛盾简单式。如果二难推理前提中的选言判断的两个支判断之间是矛盾关系，并且前提中的两个假言判断的后件相同，那么，上述一般形式的二难推理变成：
A或者并非A；
如果A，那么B；
如果并非A，那么B；
所以，B。
其特征是：前提中的两个蕴含式的前件相互矛盾，并且这两个蕴含式的相互矛盾的前件构成前提中的二支析取式的析取支；前提中的这两个蕴含式的后件相同，并且以这两个蕴含式的相同后件的肯定作为结论。
由于仅从前提中的两个充分条件假言命题“如果A，那么B”和“如果并非A，那么B”就可以推出结论“B”，因此其前提中的选言命题“A或者并非A”也可以省略。