論理学において、いくつかの前提から1つの結論をみちびくやり方。演繹的推論においては、前提は一般的な命題で、結論はその一般的事態にふくまれる個別的な事態についての命題であるから、前提が真である場合、結論もかならず真になる。

もしすべての人間が1つの頭と2本の手をもち(大前提)、ソクラテスが人間であるならば(小前提)、ソクラテスは1つの頭と2本の手をもつという結論が論理的にみちびかれる。これは、2つの前提があたえられれば、1つの結論がそこから論理的にみちびかれるという三段論法の一例だが、三段論法は演繹のもっとも基本的な形である。→ 帰納：論理学