選言三段論法のソースを表示

{{pathnav|三段論法|frame=1}}
{{推論規則}}
'''選言三段論法'''（せんげんさんだんろんぽう、{{lang-en-short|Disjunctive syllogism}}）とは、[[論理学]]において、「大前提」を選言命題（選択肢を持った命題）にし、「小前提」でその選択肢に対する肯定・否定を行なうことで、「結論」を導く形式の[[三段論法]]のこと<ref>[https://kotobank.jp/word/%E9%81%B8%E8%A8%80%E7%9A%84%E4%B8%89%E6%AE%B5%E8%AB%96%E6%B3%95-549758 選言的三段論法とは] - [[大辞林]]/[[大辞泉]]/[[コトバンク]]</ref>。'''選言的三段論法'''とも。


次に挙げるような[[妥当性|妥当]]な[[演繹]]の[[論証]]形式の一種。
 Pであるか、またはQである
 Pでない
 したがって、Qである

[[論理演算]]の記法では次のようになる。
 <math>P \lor Q,</math>
 <math>\lnot P</math>
 <math>\vdash Q</math>
ここで <math>\vdash</math> は[[論理的帰結]]を表す。

== 概要 ==
大まかに言えば、最初に2つの文のうち少なくとも1つが真であるとされる。次にそのうちの1つが真ではないとされる。そこから推論することで、残った文が真であると結論付けられる。これが「選言三段論法」と呼ばれるのは、論証が三段階（[[三段論法]]）であることと、「または」で表される[[論理和]]（選言）の形式を含んでいるためである。「Pか、またはQのどちらか」と言った場合のPやQを「選言肢; disjuncts」と呼ぶ。

選言三段論法は、「または」が「包含的; inclusive」であっても「排他的; exclusive」であっても機能することに注意されたい（詳しくは後述）。

== 例 ==
 私はスープを選ぶか、またはサラダを選ぶ。
 私はスープを選ばない。
 従って、私はサラダを選ぶ。

別の例

 Browns が勝つか、または Bengals が勝つかのどちらかである。
 Browns は勝たない。
 従って、Bengals が勝つ。

== 包含的論理和と排他的論理和 ==
論理和には、次の2種類がある。

* ''[[論理和|包含的論理和]]''は、英語で "and/or" と表記される場合と等価であり、一方だけ真かもしれないし、両方が真かもしれない。
* ''[[排他的論理和]]'' ("xor") は、一方が真であれば、もう一方は必ず偽である。両方同時に真、あるいは両方同時に偽ということはあり得ない。

一般に自然言語では、論理和的な文がこれら2つのうちどちらの意味であるかは曖昧な場合が多いが、その違いは重要である。

 Pであるか、またはQである
 Pでない
 したがって、Qである

この場合、包含的にも排他的にも解釈できる。しかし、次の場合は排他的論理和でのみ成り立つ。

 Pであるか、またはQである
 Pである
 したがって、Qでない

包含的論理和と解釈すると、上記の帰結は導けない。これを[[選言肯定]]の[[誤謬]]という。

== その他の関連する論法 ==
[[モーダスポネンス]]や[[モーダストレンス]]とは異なり、選言三段論法は論理体系における明確な推論規則や公理とされないことが多く、[[背理法]]と[[論理和の消去|論理和の除去]]を組み合わせることで（やや回りくどいが）証明可能である。

他にも、類似の論法として[[三段論法|定言的三段論法]]や[[仮言的三段論法]]がある。

==脚注・出典==
{{Reflist}}

==関連項目==
*[[三段論法]]

== 外部リンク ==
* [http://logik.phl.univie.ac.at/~chris/beispielskriptum/node7.html Proof of MTP]

{{DEFAULTSORT:せんけんてきさんたんろんほう}}
[[Category:推論規則]]
[[Category:三段論法]]
[[Category:命題論理の定理]]
[[Category:古典論理]]
[[Category:数学に関する記事]]