論理的帰結とは？
ろんりてききけつ
論理的帰結とは、ある前提から論理の規則にしたがって導き出される必然的な結論のことです。
論理的帰結（ろんりてききけつ）とは、一つまたは複数の前提（命題）が真であるとき、論理の法則にしたがって必然的に真となる結論を指します。英語では「logical consequence」または「logical entailment」と呼ばれ、記号では「⊨」（二重回転）で表されます。
論理的帰結の核心は「前提が真であれば結論も必ず真でなければならない」という必然性にあります。これは偶然の一致や経験則とは異なり、論理の形式的な構造から保証される関係です。たとえば、「すべての人間は死すべき存在である」「ソクラテスは人間である」という前提からは、「ソクラテスは死すべき存在である」という結論が論理的に帰結します（三段論法の例）。
論理的帰結にはいくつかの重要な性質があります。
- 妥当性：論理的帰結の関係が成り立つ推論を「妥当な推論」という
- 反例の不存在：前提が真で結論が偽になる場合が一つもない
- 形式的保証：前提の内容ではなく構造によって結論が導かれる
論理的帰結は数学の証明・法律の解釈・哲学的議論・AIの推論エンジンなど幅広い場面で基礎概念として機能します。また、論理的帰結と「含意（ならば）」は混同されることがありますが、前者は意味論的な関係、後者は構文論的な演算子として区別されます。
使い方・例文
「雨が降れば地面が濡れる」「今雨が降っている」という二つの前提から「地面が濡れている」という結論を導く際、この結論は前提からの論理的帰結です。
この用語をシェア
最終更新: