如何区分数学中的定理、引理、命题?
1. 定理(Theorem)
最重要的结果,是论文的核心结论,经过严格证明,并且往往具有广泛的应用或深远的意义。
2. 引理(Lemma)
辅助性结果,用于支持定理的证明。
3. 命题(Proposition)
次要的结论,其重要性低于定理,通常也经过证明,但可能更直接或更局部。
在知乎上查了下资料,[1]给出的解答可能更好:
- 命题:是一个可以判定真假的陈述语句,由条件和结论组成。
- 定理:受过逻辑限制的证明为真的陈述,并且一般来说只有重要的或者有趣的陈述才能叫定理。
总得来说,定理可以理解为更为宏观和通用的结论,是真命题;一个命题则可真可假,不一定是对的。
参考:
[1] 数学专业教材中的「定理」和「命题」有什么区别? - Acerneverfun的回答 - 知乎