假言推理
清晨的阳光斜照进书房,侦探陈默的指尖划过一份泛黄的案卷。他面对的是一桩悬案:死者独自在反锁的房间内中毒身亡,现场无强行闯入痕迹,也无毒药容器。陈默的思维,正沿着一条名为“假言推理”的逻辑路径悄然行进。这是一种从假设性前提出发,通过严谨推导得出结论的思维方法。其核心结构通常包含充分条件假言推理的两种有效式:肯定前件式与否定后件式。
肯定前件式遵循“如果P,那么Q;现在P成立,所以Q成立”的规则。陈默首先构建了一个假言命题:如果凶手是外部潜入作案(P),那么门窗锁具应有破坏痕迹(Q)。但现场勘查明确显示,所有锁具完好(非Q)。由此,他运用了否定后件式:“如果P,那么Q;现在非Q成立,所以非P成立。...