|
|
| 1行目: |
1行目: |
| − | [[ファイル:Venn1011.svg|thumb|<math>P \rightarrow Q</math> の[[ベン図]]による表現]]
| + | __NOINDEX__ |
| − | '''論理包含'''（ろんりほうがん、'''含意'''（がんい）、'''内含'''、{{lang-en-short|implication}}、IMP）は、第1[[命題]]が[[偽]]または第2命題が[[真]]のときに真となる[[論理演算]]である。'''条件文'''（じょうけんぶん、{{lang-en-short|conditional}}）とほぼ同じものである。論理的帰結（{{lang-en-short|[[:w:Logical consequence|logical consequence]]}}）や伴意（{{lang-en-short|entailment}}）とは異なる物であり、[[論理的帰結]]の項目を参照。
| + | {{テンプレート:20180815sk}} |
| − | | |
| − | 2つの命題 ''P'' と ''Q'' に対する論理包含を ''P'' [[矢印|→]] ''Q'' などと書き、「''P'' ならば ''Q''」と読む。命題 ''P'' → ''Q'' に対し、''P'' をその'''前件'''、''Q'' をその'''後件'''などと呼ぶ。
| |
| − | | |
| − | == 記号 ==
| |
| − | [[ジュゼッペ・ペアノ|ペアノ]]は1889年に出版した『[[数の概念について]]』において、“ならば”をCを逆向きにした記号で表現した<ref>{{Cite book|editor=Jean van Heijenoort|year=1967|title=From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931|publisher=Harvard University Press|isbn=0-674-32449-8}}pp.84-87</ref>。[[バートランド・ラッセル|ラッセル]]はペアノにならい、1910年から1913年に出版した『[[プリンキピア・マテマティカ]]』において、命題“A ならば B”を A ⊃ B と表現した<ref>{{Cite book|和書|author=ラッセル|authorlink=バートランド・ラッセル|coauthors=[[アルフレッド・ノース・ホワイトヘッド|ホワイトヘッド]]|others=[[岡本賢吾]]・[[戸田山和久]]・[[加地大介]]訳|year=1988|month=7|title=プリンキピア･マテマティカ序論|publisher=哲学書房|series=叢書思考の生成 1|isbn=4-88679-023-2}}34頁</ref>。[[ゲルハルト・ゲンツェン|ゲンツェン]]はラッセルに従い、命題“A ならば B”を A ⊃ B と表現した。[[アレン・ハイティング|ハイティング]]は命題“A ならば B”を最初は A ⊃ B と表現したが、後になって右向き矢印で A → B と表現するようになった<ref>{{Cite book|和書|author=前原昭二|authorlink=前原昭二|year=2005|month=12|title=記号論理入門|publisher=日本評論者|series=日評数学選書|isbn=4-535-60144-5}}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> （推移律、[[三段論法]]）
| |
| − | | |
| − | === 真理値表 ===
| |
| − | {| class="wikitable"
| |
| − | |- style="background-color:#cccccc"
| |
| − | !命題 ''P'' !! 命題 ''Q'' !! ''P'' → ''Q''
| |
| − | |- align="center"
| |
| − | |真||真||'''真'''
| |
| − | |- align="center"
| |
| − | |真||偽||'''偽'''
| |
| − | |- align="center"
| |
| − | |偽||真||'''真'''
| |
| − | |- align="center"
| |
| − | |偽||偽||'''真'''
| |
| − | |}
| |
| − | | |
| − | == 論理包含と条件文の関係 ==
| |
| − | 論理包含と条件文は同じものとすることが多い。しかし必ずしもそうではなく、論理包含は「断言」的関係、条件文は「予想」的関係だとして区別し、また、次のように表現し分けることもある。
| |
| − | *''P'' ⇒ ''Q''（''P'' implies ''Q''、''P'' は ''Q'' を包含する）
| |
| − | *''P'' → ''Q''（if ''P'' then ''Q''、もし ''P'' ならば ''Q'' が成り立つ）
| |
| − | ただし、上記の利用法とは異なり ⇒ は伴意の記号としても使われることに注意。
| |
| − | | |
| − | == 例 ==
| |
| − | ''P'' が偽ならば、''Q'' の真偽にかかわらず「''P'' ならば ''Q''」が真である ([[:en:Vacuous truth]])、という定義は直感的に受け入れ難く、しばしば哲学的な議論の主題となる。以下、いくつかの例とそれについての議論を示す。
| |
| − | | |
| − | === 数学的な例 ===
| |
| − | 例えば「千円以上持っている人は百円以上持っている」という文が（意味深いかどうかはともかくとして）正しいことに異論はないであろう。数学記号を用いると「''x'' ≥ 1000 ⇒ ''x'' ≥ 100」ということになる。この命題の前件と後件は変数 ''x'' を含み、''x'' に代入される値によって真偽が変わるのであるから、正確には「任意の ''x'' に対して ''x'' ≥ 1000 ⇒ ''x'' ≥ 100」という主張である。''x'' ≥ 1000 の場合のみならず、''x'' < 1000 の場合でも真であるためには、上記の定義が必要であることが了解されよう。
| |
| − | | |
| − | なお、この例において二つの集合 {''x'' | ''x'' ≥ 1000} と {''x'' | ''x'' ≥ 100} は包含関係にある。これが「論理包含」という語の由来である。
| |
| − | | |
| − | === 日常的な例 ===
| |
| − | ある人が「この仕事が成功しなければ辞表を出す」と言ったとしよう。この言葉が嘘となるのは、仕事が失敗したにもかかわらず辞表を出さなかった場合のみである。仕事が失敗して辞表を出したならば約束を守ったのであるし、仕事が成功してかつ辞表を出さなかったならば、やはりその人は嘘を言わなかったことになる。仕事が成功したにもかかわらず（何か他の理由で）辞表を出した場合も、やはり嘘を言ったとはみなされないであろう。すなわち、先の宣言では仕事が成功した場合のことは何も言っていないのであるから、辞表を出そうが出すまいが本人の自由である。
| |
| − | | |
| − | === 日常会話との乖離 ===
| |
| − | 日常会話における例を挙げたが、注意しなければならないのは、（いわゆる[[古典論理|「古典的な」]]）論理における「ならば」と日常会話における「ならば」は同一ではない、ということである。まず、日常会話における「ならば」は、しばしば時間的な依存関係（因果関係）を内包する。例えば「薬を飲まなければ病気が治らない」の対偶は、逐語的には「病気が治るならば薬を飲む」であるが、この二つは明らかに意味が異なる。時間的な依存関係に注意して「病気が治った人は薬を飲んだはずだ」と言えば元の文の意味に近い。
| |
| − | | |
| − | 次に、日常会話における前件は、まだ真偽が確定していない事項か、真偽が変数に依存することが普通である。すなわち、偽であることが分かっている命題を前件とすることが、日常会話では通常あり得ないのであって、それが論理包含の定義を分かりにくいものとしている。例えば、身長150cmで体重50kgの人が次のように言ったとしよう。「もし私の身長が160cm以上ならば私の体重は40kg以下である。真理値表より嘘ではありませんよ。」おそらく共感は得られないであろうが、論理的には全く正しい。
| |
| − | | |
| − | 結局のところ、（[[古典論理|古典的な]]）論理における「ならば」は、日常会話での「ならば」と通じる部分もあるためにそのように名付けられたが、似て非なるものであると解釈するのが安全であろう。定義の繰り返しになるが、論理における「''P'' ならば ''Q''」は、「''P'' でない、と ''Q'' である、の少なくとも一方が正しい」の短い言い換えなのである。以上のようなことは無論、現代の[[論理学]]が放置するようなものではなく、日常会話での「ならば」をうまく扱えるような論理のシステム（規則や解釈など）は、現代の論理学が研究の対象としている内容の一つである。
| |
| − | | |
| − | == 参照 ==
| |
| − | {{Reflist}}
| |
| − | | |
| − | == 関連項目 ==
| |
| − | *[[三段論法]]
| |
| − | *[[真理値]]
| |
| − | *[[真理値表]]
| |
| − | *[[ブール代数]]
| |
| − | *[[ベン図]]
| |
| − | *[[演繹定理]]
| |
| − | | |
| − | {{論理演算}}
| |
| − | {{DEFAULTSORT:ろんりほうかん}}
| |
| − | [[Category:論理結合子]]
| |
| − | [[Category:数学に関する記事]]
| |
| − | [[Category:演繹]]
| |