EIO-1（Ferio）
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/13 05:55 UTC 版)
「三段論法」の記事における「EIO-1（Ferio）」の解説
第一格のEIO、すなわち「MeP SiM SoP」の三段論法は、以下のようになる。 大前提：「全てのM」は、Pではない。(MeP) 小前提：「あるS」は、Mである。(SiM) 結論：ゆえに（∴）、「あるS」は、Pではない。(SoP) 具体例。（M=宿題、S=読書、P=楽しみ） 大前提：「全ての宿題」は、「楽しみ」ではない。(MeP) 小前提：「ある読書」は、「宿題」である。(SiM) 結論：ゆえに（∴）、「ある読書」は、「楽しみ」ではない。(SoP)
※この「EIO-1（Ferio）」の解説は、「三段論法」の解説の一部です。
「EIO-1（Ferio）」を含む「三段論法」の記事については、「三段論法」の概要を参照ください。
ウィキペディア小見出し辞書の「EIO-1」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- EIO-1のページへのリンク
