論理包含のソースを表示

[[File:Venn-Diagram-Implication.PNG|thumb|''P'' &rArr; ''Q'' の[[ベン図]]による表現]]
[[File:Venn1011.svg|thumb|同じくベン図による表現]]
'''論理包含'''（ろんりほうがん、'''含意'''（がんい）、'''内含'''、{{lang-en-short|implication}}、IMP）は、第1[[命題]]が[[偽]]または第2命題が[[真]]のときに真となる[[論理演算]]である。'''条件文'''（じょうけんぶん、{{lang-en-short|conditional}}）とほぼ同じものである。論理的帰結（{{lang-en-short|[[:w:Logical consequence|logical consequence]]}}）や伴意（{{lang-en-short|entailment}}）とは異なる物である。{{See|論理的帰結}}

2つの命題 <math>P</math> と <math>Q</math> に対する論理包含を <math>P \implies Q</math> (または <math>P \to Q</math>)と書き、「<math>P</math> ならば <math>Q</math>」、「<math>P</math> は <math>Q</math> を含意する」、「<math>P</math> は <math>Q</math> の[[同値#必要十分条件|十分条件]]」と読む。また <math>P \implies Q</math> の形をした命題を'''仮言命題'''（{{lang|en|hypothetical proposition}}）、<math>P</math> をその'''前件'''（{{lang|en|antecedent}}）、<math>Q</math> をその'''後件'''（{{lang|en|consequent}}）などと呼ぶ<ref>{{cite book
|和書
|author1=近藤洋逸
|authorlink1=近藤洋逸
|author2=好並英司
|title=論理学概論
|publisher=岩波書店
|year=1964
|page=32
|id={{NDLDC|2969913|format=NDLJP}}
}}</ref>。

== 記号 ==
[[ジュゼッペ・ペアノ|ペアノ]]は、1889年に出版した『算術の諸原理（{{Lang-la-short|Arithmetices Principia: Nova Methodo Exposita}}）』において、命題 " <math display="inline">A</math> ならば <math>B</math> " を <math>C</math> を逆向きにした記号 Ɔ で「<math display="inline">A</math> Ɔ <math>B</math>」と表現した<ref>{{Cite book |editor=Jean van Heijenoort |title=From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 |year=1967 |publisher=Harvard University Press |isbn=0-674-32449-8 |pages=84–87}}</ref>。また同時に命題 “ <math>A \subset B</math> ” をも「<math display="inline">A</math> Ɔ <math>B</math>」と表わした<ref group="注">蹄鉄記号Ɔが反転して部分集合記号⊂になっていることに注意。</ref><ref>{{Cite web |url=https://github.com/mdnahas/Peano_Book/blob/46e27bdb5aed51c078ad99e5a78d134fd2a0c3ca/Peano.pdf |title=English Translation of "Arithmetices Principia, Nova Methodo Exposita" |access-date=2022年8月10日 |author=Michael Nahas |date=25 Apr 2022 |publisher=GitHub |page=VI |at=Signorum tabula}}</ref><ref>{{Cite web |url=https://math.stackexchange.com/a/1146502/186330 |title=elementary set theory - Is there any connection between the symbol ⊃ when it means implication and its meaning as superset? |access-date=2022年8月10日 |author=Mauro ALLEGRANZA |date=2015-02-13 |website=Mathematics Stack Exchange |publisher=Stack Exchange Inc |language=en |at=Answer}}</ref>。[[バートランド・ラッセル|ラッセル]]はペアノにならい、1910年から1913年に出版した『[[プリンキピア・マテマティカ]]』において、命題 " <math display="inline">A</math> ならば <math>B</math> " を「 <math>A \supset B</math> 」と表現した<ref>{{Cite book |和書 |author=ラッセル |author-link=バートランド・ラッセル |title=プリンキピア･マテマティカ序論 |series=叢書思考の生成 |year=1988 |month=7 |publisher=哲学書房 |isbn=4-88679-023-2 |page=34 |translator=[[岡本賢吾]]、[[戸田山和久]]、[[加地大介]] |volume=1 |author2=ホワイトヘッド |author2-link=アルフレッド・ノース・ホワイトヘッド}}</ref>。[[ゲルハルト・ゲンツェン|ゲンツェン]]はラッセルに従い、命題 " <math display="inline">A</math> ならば <math>B</math> " を「 <math>A \supset B</math> 」と表現した。[[アレン・ハイティング|ハイティング]]は、命題 " <math display="inline">A</math> ならば <math>B</math> " を最初は「 <math>A \supset B</math> 」と表現したが、後になって右向き矢印で「 <math>A \to B</math> 」と表現するようになった<ref>{{Cite book |和書 |author=前原昭二 |author-link=前原昭二 |title=記号論理入門 |series=日評数学選書 |year=2005 |month=12 |publisher=日本評論者 |isbn=4-535-60144-5 |pages=173–174}}</ref>。

== 性質 ==
[[古典論理]]においては、[[否定]] ¬ と[[論理和]] ∨ で表せる。冒頭の定義はこの式を日本語にしたものである。
:<math>(P \rightarrow Q) \Leftrightarrow (\lnot P \lor Q)</math>
なお、[[直観主義論理]]においては左向きの矢印しか成り立たない、つまり両辺は等価ではない。

また、[[古典論理]]では[[ド・モルガンの法則]]により、次のように変形できる。
:<math>(P \rightarrow Q) \Leftrightarrow \lnot(P \land \lnot Q)</math>
ほかに、次のような性質がある。
*<math>P \rightarrow P</math> （[[トートロジー|同語反復]]）
*<math>P \rightarrow (P \lor Q)</math>
*<math>(P \rightarrow Q) \rightarrow (\lnot Q \rightarrow \lnot P)</math> （[[対偶 (論理学)|対偶]]の法則）
*<math>(P \rightarrow Q) \land (Q \rightarrow P) \rightarrow (P \Leftrightarrow Q)</math> （反対称律、[[同値]]）
*<math>(P \rightarrow Q) \land (Q \rightarrow R) \rightarrow (P \rightarrow R)</math> （推移律、[[三段論法]]）

=== 真理値表 ===
<math>P \to Q</math> の真理値表は以下。
{| border=1 cellpadding=2 cellspacing=0
|- style="background-color:#ccc"
!命題 ''P'' !! 命題 ''Q'' !! ''P'' → ''Q''
|- align="center"
| {{yes2|真}}|| {{yes2|真}}|| {{yes2|'''真'''}}
|- align="center"
| {{yes2|真}}|| {{no2|偽}}|| {{no2|'''偽'''}}
|- align="center"
| {{no2|偽}}|| {{yes2|真}}|| {{yes2|'''真'''}}
|- align="center"
| {{no2|偽}}|| {{no2|偽}}|| {{yes2|'''真'''}}
|}

== 論理包含と条件文の関係 ==
{{出典の明記|date=2024-03-27|section=1}}
論理包含と条件文は同じものとすることが多い。しかし必ずしもそうではなく、論理包含は「断言」的関係、条件文は「予想」的関係だとして区別し、また、次のように表現し分けることもある。
* <math>P \implies Q</math> （<math>P\ \text{implies}\ Q</math>、''P'' は ''Q'' に包含される）
* <math>P \to Q</math> （if ''P'' then ''Q''、もし ''P'' ならば ''Q'' が成り立つ）
ただし、上記の利用法とは異なり <math>\implies</math>  は伴意の記号としても使われることに注意。

== 例 ==
''P'' が偽ならば、''Q'' の真偽にかかわらず「''P'' ならば ''Q''」が真である ([[空虚な真]])、という定義は直感的に受け入れ難く、しばしば哲学的な議論の主題となる。以下、いくつかの例とそれについての議論を示す。

=== 数学的な例 ===
例えば「千円以上持っている人は百円以上持っている」という文が（意味深いかどうかはともかくとして）正しいことに異論はないであろう。数学記号を用いると「<math>x \geqq 1000 \implies x \geqq 100</math>」ということになる。この命題の前件と後件は変数 <math>x</math> を含み、<math>x</math> に代入される値によって真偽が変わるのであるから、正確には「任意の <math>x</math> に対して <math>x \geqq 1000 \implies x \geqq 100</math>」という主張である。<math>x \geqq 1000</math> の場合のみならず、<math>x < 1000</math> の場合でも真であるためには、上記の定義が必要であることが了解されよう。

なお、この例において二つの集合 <math>\{x \mid x \geqq 1000\}</math> と <math>\{x \mid x \geqq 100\}</math> は包含関係 <math>\{x \mid x \geqq 1000\} \subset \{x \mid x \geqq 100\}</math> にある。これが「論理包含」という語の由来である。

=== 日常的な例 ===
ある人が「この仕事が失敗したら辞表を出す」と言ったとしよう。この言葉が嘘となるのは、仕事が失敗したにもかかわらず辞表を出さなかった場合のみである。仕事が失敗して辞表を出したならば約束を守ったのであるし、仕事が成功して（失敗せず）かつ辞表を出さなかったならば、やはりその人は嘘を言わなかったことになる。仕事が成功したにもかかわらず（何か他の理由で）辞表を出した場合も、やはり嘘を言ったとはみなされないであろう。すなわち、先の宣言では仕事が成功した場合のことは何も言っていないのであるから、辞表を出そうが出すまいが本人の自由である。

また、[[#性質|性質]]に示されている通り、論理包含 <math>P \implies Q</math> 「P ならば Q」は <math>\neg P \lor Q</math>「Pでない、またはQ」と同値であるが、この例として "If you move, I will kill you."（動いたら殺すぞ）が "Don't move, or I will kill you." （動くな、もしくは殺すぞ）が挙げられる<ref>{{cite AV media
 | people = [[長岡亮介 (数学者)|長岡亮介]]
 | title = 長岡先生の映像授業008【集合の問題（２）】
 | medium = [[YouTube]]
 | date = 2016-06-01
 | accessdate  = 2022-01-30
 | url = https://www.youtube.com/watch?v=Eko42DEZIv8&t=140s }}<!-- 自主公表された情報源だが、専門家によるものであり有効な出典として扱って良い --></ref>。

=== 日常会話との乖離 ===
日常会話における例を挙げたが、注意しなければならないのは、（いわゆる[[古典論理|「古典的な」]]）論理における「ならば」と日常会話における「ならば」は同一ではない、ということである。まず、日常会話における「ならば」は、しばしば時間的な依存関係（因果関係）を内包する。例えば「薬を飲まなければ病気が治らない」の対偶は、逐語的には「病気が治るならば薬を飲む」であるが、この二つは明らかに意味が異なる。時間的な依存関係に注意して「病気が治った人は薬を飲んだはずだ」と言えば元の文の意味に近い。

次に、日常会話における前件は、まだ真偽が確定していない事項か、真偽が変数に依存することが普通である。すなわち、偽であることが分かっている命題を前件とすることが、日常会話では通常あり得ないのであって、それが論理包含の定義を分かりにくいものとしている。例えば、身長150cmで体重50kgの人が次のように言ったとしよう。「もし私の身長が160cm以上ならば私の体重は40kg以下である。真理値表より嘘ではありませんよ。」日常会話としては意義がないが、論理的には全く正しい。

結局のところ、（[[古典論理|古典的な]]）論理における「ならば」は、日常会話での「ならば」と通じる部分もあるためにそのように名付けられたが、似て非なるものであると解釈するのが安全であろう。定義の繰り返しになるが、論理における「''P'' ならば ''Q''」は、「''P'' でない、と ''Q'' である、の少なくとも一方が正しい」の短い言い換えなのである。以上のようなことは無論、現代の[[論理学]]が放置するようなものではなく、日常会話での「ならば」をうまく扱えるような論理のシステム（規則や解釈など）は、現代の論理学が研究の対象としている内容の一つである。

== 脚注 ==
{{脚注ヘルプ}}

=== 注釈 ===
{{Notelist2}}

=== 出典 ===
{{Reflist}}

== 関連項目 ==
* [[ウェイソン選択課題]]
* [[厳密含意]] ''P'' ⥽ ''Q'' ≡ □(''P'' → ''Q'')
* [[三段論法]]
* [[逆含意]]（必要条件）
* [[真理値]]
* [[真理値表]]
* [[ブール代数]]
* [[ベン図]]
* [[演繹定理]]

{{論理演算}}
{{Common logical symbols}}
{{Normdaten}}
{{DEFAULTSORT:ろんりほうかん}}
[[Category:論理結合子]]
[[Category:数学に関する記事]]
[[Category:演繹]]