前提から結論が導かれるとは｜記号論理学における論理的帰結

論理的帰結（logical consequence）は、「前提から結論が導かれる」とはどういうことかを形式的に定義する概念です。推論の妥当性を判定する基準となり、記号論理学の核心をなします。

論理的帰結の定義

論理式の集合 Γ から論理式 φ が論理的に帰結するとは、Γ に含まれるすべての論理式が真になるような真理値割り当てにおいて、φ も必ず真になることをいいます。記号では Γ ⊨ φ と書きます。

直感的にいえば、「前提がすべて真なら、結論も必ず真」という関係です。前提を認めたなら結論も認めざるを得ない、という論理的な強制力を表しています。

論理的帰結 Γ ⊨ φ

前提 Γ がすべて真のとき、結論 φ も必ず真。意味論的な概念。

論理的同値 φ ≡ ψ

すべての割り当てで φ と ψ が同じ値。帰結の特殊ケース（双方向）。

論理的帰結を判定するには、真理値表を使います。前提がすべて T になる行だけに注目し、その行で結論も T になっているかを確認します。

例として、{p, p → q} ⊨ q を確認してみましょう。これは「p が真であり、p ならば q が真であるとき、q は真である」という推論です。

真理値表で p と p → q が両方 T になる行を探すと、p = T かつ q = T の行だけです。その行で q は確かに T なので、この推論は妥当です。

論理学では「妥当」と「健全」を区別します。

妥当な推論（valid argument）とは、前提がすべて真ならば結論も必ず真になる推論です。前提が実際に真かどうかは問いません。

健全な推論（sound argument）とは、妥当であり、かつ前提がすべて実際に真である推論です。

妥当だが健全でない例

前提「すべての鳥は魚である」「すずめは鳥である」から「すずめは魚である」が導かれる。推論形式は妥当だが、前提が偽なので健全ではない。

妥当かつ健全な例

前提「すべての人間は哺乳類である」「ソクラテスは人間である」から「ソクラテスは哺乳類である」が導かれる。形式も妥当で前提も真。

論理的帰結はトートロジーと密接に関係しています。

{φ₁, φ₂, …, φₙ} ⊨ ψ であることと、(φ₁ ∧ φ₂ ∧ … ∧ φₙ) → ψ がトートロジーであることは同値です。

つまり、前提から結論への含意がトートロジーになるとき、その推論は妥当です。このつながりにより、帰結の問題をトートロジーの問題に帰着できます。

前提集合が空のとき、Γ = ∅ から φ が帰結するとは、φ がトートロジーであることと同じです。記号では ⊨ φ と書きます。

これは「何も仮定しなくても φ は真」という意味であり、まさにトートロジーの定義そのものです。

∅ ⊨ φ

前提なしで φ が真

φ がトートロジー

論理的帰結にはいくつかの重要な性質があります。

反射性：Γ に φ が含まれるなら、Γ ⊨ φ です。前提に含まれる命題は当然結論として導けます。

単調性：Γ ⊨ φ ならば、Γ を拡大した Γ’ についても Γ’ ⊨ φ です。前提を増やしても、元々導けた結論は導けます。

推移性：Γ ⊨ φ かつ Γ ∪ {φ} ⊨ ψ ならば、Γ ⊨ ψ です。中間結果を使った多段階の推論が可能です。

これらの性質は、推論を積み重ねて複雑な証明を構築する際の基盤となります。次回からは、推論規則を使った証明の方法を学んでいきます。