三段論法

三段論法(さんだんろんぽう、英: Syllogism)

一般的、普遍的な事柄からより個別的、特殊的な事柄を導く

良くある例

演繹法:アリストテレスの三段論法

大前提(一般的原理):人間は死ぬ。

小前提(事実など):A は人間である。

結論(個々の事象):A は死ぬ。

大前提：全ての人間は死すべきものである。

小前提：ソクラテスは人間である。

結論：ゆえにソクラテスは死すべきものである。

大前提、小前提から結論を導き出すのは論証

(b -> c) -> (a -> b) -> -> (a -> c)であるような三段論法は仮言三段論法と分類される

$ \frac{P \implies Q \quad Q \implies R}{P \implies R}

確認用

Q. 三段論法

Q. 仮言三段論法

関連

参考

調査用

/pogi-log/Wikipedia.icon

/pogi-log/Wikipedia.icon