|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 選 ： [せん] 【名詞】 1. (1) selection 2. choice 3. election 4. (2) compilation 5. editing ・ 言 ： [げん] 【名詞】 1. word 2. remark 3. statement ・ 的 ： [まと, てき] 【名詞】 1. mark 2. target ・ 三 ： [み] 1. (num) three ・ 三段論法 ： [さんだんろんぽう] (n) syllogism ・ 段 ： [だん] 【名詞】 1. step 2. stair 3. flight of steps 4. grade 5. rank 6. level ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment ・ 論法 ： [ろんぽう] 【名詞】 1. logic 2. reasoning ・ 法 ： [ほう] 1. (n,n-suf) Act (law: the X Act)
選言三段論法（せんげんさんだんろんぽう、）とは、論理学において、「大前提」を選言命題（選択肢を持った命題）にし、「小前提」でその選択肢に対する肯定・否定を行なうことで、「結論」を導く形式の三段論法のこと〔選言的三段論法とは - 大辞林/大辞泉/コトバンク〕。選言的三段論法とも。 次に挙げるような妥当な演繹の論証形式の一種。 Pであるか、またはQである Pでない したがって、Qである 論理演算の記法では次のようになる。 ここで は論理的帰結を表す。 == 概要 == 大まかに言えば、最初に2つの文のうち少なくとも1つが真であるとされる。次にそのうちの1つが真ではないとされる。そこから推論することで、残った文が真であると結論付けられる。これが「選言三段論法」と呼ばれるのは、論証が三段階（三段論法）であることと、「または」で表される論理和（選言）の形式を含んでいるためである。「Pか、またはQのどちらか」と言った場合のPやQを「選言肢; disjuncts」と呼ぶ。 選言三段論法は、「または」が「包含的; inclusive」であっても「排他的; exclusive」であっても機能することに注意されたい（詳しくは後述）。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「選言三段論法」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Modus ponendo tollens 」があります。 スポンサード リンク
|