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

{{pathnav|三段論法|frame=1}}
{{推論規則}}
'''仮言三段論法'''（かげんさんだんろんぽう、{{lang-en-short|Hypothetical syllogism}}）とは、[[論理学]]において、一般的に「大前提」のみを仮言[[命題]]（条件付き命題）にした[[三段論法]]のこと<ref name=kotobank>[https://kotobank.jp/word/%E4%BB%AE%E8%A8%80%E7%9A%84%E4%B8%89%E6%AE%B5%E8%AB%96%E6%B3%95-461329 仮言的三段論法とは] - [[大辞林]]/[[大辞泉]]/[[コトバンク]]</ref>。ただし、大前提・小前提・結論すべての命題が仮言命題（条件付き命題）である場合もある<ref name=kotobank/>。'''仮言的三段論法'''あるいは'''蓋然的三段論法'''とも。また、論理学史では、ある種の論理的帰結を得る理論を指すこともある。

== 命題論理 ==
仮言三段論法は[[古典論理]]の[[演繹]]の[[推論規則]]の1つであり、非古典論理学では採用されないこともある。仮言三段論法は、以下の形式に従う[[妥当性|妥当な]][[論証]]である。

 P → Q
 Q → R
 従って、P → R

記号的に表現すると次のようになる。

 <math>P \rightarrow Q,</math>
 <math>Q \rightarrow R</math>
 <math>\vdash P \rightarrow R</math>

言い換えれば、ある概念が別の概念を包含し、その別の概念が第三の概念を包含するとき、最初の概念は第三の概念を包含する。

=== 例 ===
仮言三段論法の例を以下に示す。

 もし私が目覚めなければ、私は仕事に行けない。
 もし私が仕事に行けなければ、私は給料が貰えない。
 従って、もし私が目覚めなければ、私は給料が貰えない。

仮言三段論法の利点は、事実に反する仮定を使うことができる点である。つまり、前提として一般には偽であるような仮定を用いて、全体として真であるような論証を行うことができる。

妥当な仮言三段論法に使用可能な事実に反する仮定の例を以下に示す。

* もしジョージ・ワシントンにひげがあったら、彼は目立ったことだろう。
* もし[[ヨギ・ベラ]]が本塁打を800本打ったとしたら、それは驚異的であろう。

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

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

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