えんえきすいろん

演繹推論

確実な前提から論理的に結論を導き出す推論手法です。法則から個別の事象を説明する性質を持ち、数学の証明やAIの推論エンジンで使われます。

詳しい説明

演繹推論は、すでに正しいと認められた一般的な法則や前提から、個別の結論を導き出す論理的な推論方法です。数学の証明やプログラミングの論理構築において、確実性の高い推論手法として用いられます。

代表的な例として「すべての人間は死ぬ」という前提と、「ソクラテスは人間である」という事実から、「ソクラテスは死ぬ」という結論を導く形式があります。前提が真であれば、そこから導かれる結論も必ず真となることが保証されます。

試験では、AIの推論エンジンやロジカルシンキングの文脈で登場します。帰納推論が個別の事例から法則を見出すのと対照的に、演繹推論は法則を適用して個別を説明するため、論理の飛躍がなく、信頼性の高い推論として評価されます。