EIO-3(Ferison)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/13 05:55 UTC 版)
「三段論法」の記事における「EIO-3(Ferison)」の解説
第三格のEIO、すなわち「MeP MiS SoP」の三段論法は、以下のようになる。 大前提:「全てのM」は、Pではない。(MeP) 小前提:「あるM」は、Sである。(MiS) 結論:ゆえに(∴)、「あるS」は、Pではない。(SoP) 具体例。(M=宿題、S=読書、P=楽しみ) 大前提:「全ての宿題」は、「楽しみ」ではない。(MeP) 小前提:「ある宿題」は、「読書」である。(MiS) 結論:ゆえに(∴)、「ある読書」は、「楽しみ」ではない。(SoP)
※この「EIO-3(Ferison)」の解説は、「三段論法」の解説の一部です。
「EIO-3(Ferison)」を含む「三段論法」の記事については、「三段論法」の概要を参照ください。
- EIO-3のページへのリンク