演绎有效性守恒定理

概述

演绎有效性守恒定理（Conservation of Deductive Validity）：在有效的演绎论证中，如果所有前提都为真，则结论不可能为假。有效性是论证形式的结构性质——它保证真值从前提”守恒”地传递到结论，不会在推理过程中”丢失”真值。

定理陈述

形式化陈述

定理（演绎有效性守恒定理）：设一个演绎论证由前提 $P_{1}, P_{2}, \dots, P_{n}$ 和结论 $C$ 组成。该论证是有效的（valid），当且仅当：

$不可能 P_{1} 为真，且 P_{2} 为真，且 \dots ，且 P_{n} 为真，而 C 为假。$

等价地：

$如果 P_{1} \land P_{2} \land \dots \land P_{n} 为真，则 C 必然为真。$

各项说明：

证明思路（有效性的基本定义）

本定理不是一条需要从更基本定理推导出来的”定理”，而是演绎有效性概念本身的定义性陈述。它确立了演绎推理的核心标准。

第一步：有效性的定义

有效性是演绎论证的核心概念。一个演绎论证是有效的，当且仅当其结论从前提中必然地推出——即不可能前提都为真而结论为假。

第二步：有效性与真实性的区分

需要严格区分以下四种组合：

第三步：“守恒”的含义

“守恒”（conservation）的含义是：在有效的论证形式中，真值从前提”流入”结论，不会在推理过程中被”消耗”或”丢失”。形式上：

$真 (前提) 有效推理真 (结论)$

这个传递过程是保真的（truth-preserving），但不保假——假前提可能推出真结论，也可能推出假结论。

第四步：有效论证与可靠论证

可靠性 = 有效性 + 前提真实性。只有可靠的论证才能保证结论为真。

推论1（有效性与形式的独立性）：有效性仅取决于论证的逻辑形式，不取决于命题的具体内容。例如”所有人都会死，苏格拉底是人，所以苏格拉底会死”与”所有猫都会飞， Felix是猫，所以Felix会飞”具有相同的形式，同样有效——尽管后者的前提为假。
推论2（有效论证的保真性）：如果已知一个论证有效且其所有前提都为真，则结论必然为真。这是演绎推理的基石，也是数学证明的逻辑基础。
推论3（无效性的判定）：要证明一个论证无效，只需找到一种可能的情况使得所有前提为真而结论为假。这种”反例”方法在命题逻辑中通过真值表实现。