在数学上,推论(corollary, 也称为系理)指能够“简单明了地”从前述命题推出的论断,推论往往在定理后出现。如果命题B能够被简单明了的从命题A推导出,则称BA推论

推论定理命题等术语的使用区别往往是比较主观的,因为“简单明了”的定义本来就与作者及上下文相关。当然,推论一般被认为不如定理重要。

参见

编辑