選言的三段論法（読み）センゲンテキサンダンロンポウ

デジタル大辞泉

せんげんてき‐さんだんろんぽう〔‐サンダンロンパフ〕【選言的三段論法】

論理学で、三段論法の一。大前提が選言的判断で、小前提でその選言肢のいずれかを肯定または否定して結論を導き出す。例えば、「太郎は東京に行くか、または横浜に行く」「太郎は東京に行かない」故に「太郎は横浜に行く」の類。選言的推理。

出典　小学館

精選版 日本国語大辞典

せんげんてき‐さんだんろんぽう‥サンダンロンパフ【選言的三段論法】

1. 〘 名詞 〙 伝統的形式論理学で、三段論法の一つ。大前提に選言的判断をおき、小前提で選言肢の一つを否定して、結論で他の選言肢を肯定する推理、たとえば、「ａはｂかｃである、しかしａはｂではない、ゆえにａはｃである」または「ａはｂかｃである、しかしａはｃではない、ゆえにａはｂである」の類のものと、小前提の選言肢の一つを肯定し、結論で他の選言肢を否定する推理、たとえば「ａはｂか非ｂである、ａはｂである、ゆえにａは非ｂではない」の類のものの二つの型がある。〔論理学（1916）〕

出典　精選版 日本国語大辞典