命题

命题 (Proposition)

命题（Proposition）是逻辑学、数学和统计学中的基本概念，指一个具有明确真值的陈述句：即该语句在特定语境下要么为真（True），要么为假（False），不存在第三种可能。这一非真即假的特性称为二值原则（Principle of Bivalence），构成了经典逻辑和数学推理的基石。命题不同于疑问句、祈使句或感叹句，后三者因不表达可判真的断言而不被视为命题。在经济学和计量经济学中，命题的含义延伸为可被数据检验或逻辑推演的理论断言。

命题的逻辑结构与类型

从逻辑学角度，命题可依据内部结构分为两类。原子命题（Atomic Proposition）或称简单命题，是不包含逻辑联结词的最小陈述单元，如"GDP 增长率为 3\%"。原子命题的真值由事实直接决定，无法再分解为更小的命题。复合命题（Compound Proposition）由多个原子命题通过逻辑联结词组合而成，包括否定（$\neg$）、合取（$\land$，且）、析取（$\lor$，或）、蕴含（$\rightarrow$，如果……则）和等值（$\leftrightarrow$，当且仅当）。复合命题的真值由其原子命题的真值以及联结词的逻辑语义共同决定，由真值表（Truth Table）系统化定义。

在数学推理中，命题常以公理、定理、引理和推论的形式出现。公理是不证自明的基础命题，定理是经严格证明为真的命题，引理是为证明定理而建立的中介命题，推论是从定理直接推导的命题。数学中的命题通常以条件语句形式呈现，如"若函数在区间上可导，则其在该区间上连续"，蕴含关系构成数学推理的基本链条。

统计假设检验中的命题

在数理统计中，命题以统计假设的形式出现，是假设检验框架的核心。统计假设检验将研究关切转化为两个对立的命题。零假设 $H_0$ 是通常代表"无效应"或"现状维持"的默认命题，如"新药与安慰剂无差异"。备择假设 $H_1$ 是与零假设互斥的待验证命题，如"新药效果显著优于安慰剂"。

检验逻辑为：先假定零命题 $H_0$ 为真，若观测样本在此假定下出现的概率（即p值）低于预设的显著性水平 $\alpha$，则拒绝零命题而接受备择命题。此处的逻辑核心是反证法：通过证明某命题导致极不可能的结果来否定该命题，而非直接证明备择命题为真。命题的真值在统计推断框架中不再是确定性的，而是以概率语言表达为"在显著性水平 $\alpha$ 下具有统计显著性"，体现了经验科学与纯粹数学在命题判定上的本质区别。

经济学中的理论命题与实证检验

经济学中的命题可分为理论命题和实证命题。理论命题通过逻辑演绎从公理化的假设中导出，如福利经济学第一基本定理断言"在完全竞争条件下，一般均衡是帕累托最优的"，该命题依托严格的数学推导，在假设成立的范围内为真。实证命题则是对经济现实的可检验断言，如"教育年限每增加一年，个体收入平均提高约 8\%-10\%"，其真值需借助计量经济学方法通过对观测数据的回归分析和假设检验加以评估。

卡尔·波普尔的证伪主义对经济学命题影响深远。波普尔指出科学命题的特征不是可被证实而是可被证伪：一个真正的科学命题必须指出何种情况下会被证明为假。例如"所有天鹅都是白的"是可证伪的（发现一只黑天鹅即推翻），而"天鹅或是白的或不是白的"是永真式，非科学命题。弗里德曼的实证经济学方法论继承这一思想，主张理论命题的评判不应依赖假设的现实性而应看其预测能否经受经验检验。命题作为逻辑学、统计学和经济学的交叉概念，贯穿了从公理到定理、从假设到检验、从理论到实证的完整知识链条。