在數學上，推論（corollary, 也稱為系、系理）指能夠「簡單明了地」從前述命題推出的論斷，推論往往在定理後出現。如果命題B能夠被簡單明了的從命題A推導出，則稱B為A的推論。
推論、定理、命題等術語的使用區別往往是比較主觀的，因為「簡單明了」的定義本來就與作者及上下文相關。當然，推論一般被認為不如定理重要。
& ∨ ¬ ~ → ⊃ ≡ | ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵
