在數學上，推论（corollary, 也稱為系、系理）指能够“简单明了地”从前述命题推出的论断，推论往往在定理后出現。如果命题B能够被简单明了的从命题A推导出，则稱B为A的推论。
推论、定理、命題等术语的使用区别往往是比较主观的，因为“简单明了”的定义本来就与作者及上下文相关。当然，推论一般被认为不如定理重要。
& ∨ ¬ ~ → ⊃ ≡ | ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵
