归谬法应用的逻辑技巧手册.docxVIP

归谬法应用的逻辑技巧手册

概述

归谬法（ProofbyContradiction或ReductioadAbsurdum），又称“反证法”。是一种重要的演绎推理方法，通过假设待证明命题的反面为真，然后基于此假设进行逻辑推导，最终得出一个逻辑矛盾（与已知公理、定理、事实或假设本身矛盾）。由于矛盾不可能为真，因此原假设的反面必为假，从而证明原命题为真。

核心原理

假设反面：明确要证明的命题P，假设其反面~P为真。

逻辑演绎：从假设~P出发，运用已知的公理、定理、定义以及有效的推理规则（如推理律、传递性等），进行一系列逻辑推导。

导出矛盾：推导的结果是得到一个确定为假或自相