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