IT用語入門：演繹推論【大前提と小前提から必然的な結論を導く】

演繹推論とは

演繹推論とは、一般的な前提から個別の結論を導く推論法です。三段論法と呼ばれる形をとり、「大前提」「小前提」「結論」の順に考えます。前提が正しければ、結論も必ず正しくなります。

たとえば「人間は必ず死ぬ」を大前提、「ソクラテスは人間だ」を小前提とすると、「ソクラテスは死ぬ」という結論になります。普遍的な事実と個別の事実を組み合わせるため、内容に詳しくない相手にも筋道立てて説明できます。

仕組みは、述語論理の枠組みで前提どうしの関係を明確にし、矛盾がないかを点検することです。ITでは、仕様や規則から挙動を確認したり、テスト観点を導いたり、原因切り分けの仮説を検証するときに役立ちます。演繹は「前提から確実性を高める」方法で、観察から一般化する帰納法と対になる考え方です。