推论

维基百科,自由的百科全书
跳转至: 导航搜索

在數學上,推论(也稱為 , 系理)是指能够 “简单明了地” 从前述命题推出的论断。 推论往往在定理后出現; 如果命题 B 能够被简单明了的从命题 A 推导出,则稱 BA推论

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