三、反三段论
反三段论(anti-syllogism)是以一个表述三段论充分条件假言命题为前提而推出一个将该三段论前提之一和结论给予否定并互换其位而形成的充分条件假言命题为结论的推理。形式如下:
如果p并且q,那么r
如果p(q)并且非r,那么非q(非p)
这一推理意味着:如果两个条件同时具备能够推导出一个必然的结果,侦查中发现结果没有出现而前提中有一个条件为真,那么可推导出另外一个条件是假的。
例如,侦查中对甲的情况掌握了一部分,但对作案时间和目的还不清楚,可以作如下的推理:
如果甲具有作案时间和作案目的,甲就是作案人;
甲具有作案目的但不是作案人;
甲肯定没有作案时间
或者
如果甲具有作案时间和作案目的,甲就是作案人;
甲具有作案时间但不是作案人;
甲肯定没有作案目的