含意は、ある文が別の文から従うことを表す、形式論理の中心的な概念である。命題論理では最も一般的な形は実質条件文で、P → Q と書かれる。これは二つの命題を受け取り、あらかじめ定められた真理表にしたがって真理値を与える、真理関数的な結合子である。形式意味論では、これとは関連しつつも別の概念として論理的帰結（または含意）があり、P ⟹ Q や P ⊨ Q と表されることが多い。これは、P が成り立つあらゆる状況で Q も成り立つことを主張する。これらの用法は実際には重なり合うが、証明、解釈、自然言語への訳し方に影響する重要な違いがある。
真理条件と基本的な振る舞い
実質条件文 P → Q は、P が真で Q が偽のときに限って偽になり、それ以外の三通りでは真となるように定義される。このため、この結合子は記号操作や証明理論に便利である一方、直感に反する帰結も生む。つまり、P が偽なら実質条件文 P → Q は自動的に真であり、これはしばしば空虚真と呼ばれる。また Q が真であれば、どの命題も Q を含意することになる。したがって、→ の真理表は非対称であり、因果関係や説明関係については何も約束しない。
推論規則と証明での用法
含意は、多くの標準的な推論規則や証明技法に現れる。主要な規則には次のものがある。
- モーダス・ポネンス： P と P → Q から Q を導く。
- モーダス・トレンス： ¬Q と P → Q から ¬P を導く。
- 条件証明（演繹定理）： P を仮定して Q を導けるなら、P → Q を結論してよい。
これらの規則は、数学的推論、プログラム論理、形式的検証の多くを支えている。条件文は仮説的な推論を一つのまとまりとして扱い、再利用可能な形で用いることを可能にする。
自然言語との違いと代替論理
自然言語の条件文（「雨が降ったら、ピクニックは中止になる」など）は、因果的、確率的、説明的な内容を含むが、実質条件文はそれを捉えない。このずれから、実質含意の逆説と呼ばれる有名な問題が生じる。たとえば、「2+2=5 なら、月はチーズでできている」のような、真ではあるが一見無関係な条件文がその例である。哲学者や論理学者はこれに対し、条件文のためのより豊かな意味論を採用する、関連性論理のような非真理関数的な体系を使う、あるいは直観主義論理のように証明論的に含意を扱う、といった方法で応じてきた。直観主義論理では、P → Q とは、P の任意の証明を Q の証明へ変換する構成的な方法があることを意味する。
歴史的・実用的な注記
含意の扱いは、古代の仮言三段論法の考察から、19世紀と20世紀に発展した近代的な記号体系へと移っていった。実際の場面では、含意は不可欠である。数学では公理と定理の構造を形作り、プログラミング言語では if-then 文として流れを制御し、自動推論では仮定と結論を形式化する。厳密な解釈のためには、実質含意を論理的帰結や日常語の条件文と区別することが、技術的文脈でも非技術的文脈でも重要である。
重要な区別
- 実質含意（P → Q）： 固定された真理表をもつ真理関数的結合子。
- 論理的帰結（P ⟹ Q または P ⊨ Q）： 前提集合と結論のあいだの意味論的または証明論的関係。
- 構成的・直観主義的含意： 単なる真理値の割り当てではなく、証明を変換する規則として扱う。
これらの区別を理解しておくと、日常的な条件文を形式論理に翻訳するとき、計算のための論理体系を設計するとき、そして証明で推論規則を適用するときに生じやすい混同を避けやすくなる。