在数学中，proposition（命题） 是一个可以判断真假的陈述句。它不同于日常语言中的“建议”或“提议”，而是一个逻辑上明确、非真即假的表达。例如，“2 + 2 = 4”就是一个典型的数学命题，因为它具有确定的真值。
虽然proposition、定理（theorem）、引理（lemma）都属于数学陈述，但它们在重要性和用途上有所不同。一般来说，定理是核心结论，需要严谨证明；引理是为证明定理服务的中间结果；而proposition通常指那些相对简单、辅助性较强但依然值得单独列出的真命题。例如，在群论教材中，常会看到“Proposition 3.2：单位元唯一”这样的表述，说明其虽基础但具独立价值。
在麻省理工学院（MIT）的《数学导论》课程讲义中，教授常将一些直观但需验证的小结论标记为proposition，以引导学生逐步建立逻辑思维。比如，他们会先给出“Proposition：若a整除b且b整除c，则a整除c”，再让学生尝试证明。这种设计既降低了初学者的认知负担，又强化了推理训练。
首先，proposition帮助构建严密的逻辑链条，使复杂理论有清晰的支撑点；其次，它在教材和论文中起到“路标”作用，让读者快速把握关键节点；最后，通过练习判断和证明proposition，学生能有效提升抽象思维能力。例如，在实分析入门阶段，理解“任何收敛数列必有界”这一proposition，是掌握极限理论的重要一步。
需要注意的是，并非所有数学语句都是proposition。像“x > 5”这样的开放语句，因未指定x的具体值，无法判定真假，因此不算命题。只有当变量被量化（如“对所有实数x，x² ≥ 0”）后，才构成有效的proposition。