三段論法
第一格のEAE、すなわち「MeP SaM SeP」の三段論法は、以下のようになる。
大前提:「全てのM」は、Pではない。(MeP)
小前提:「全てのS」は、Mである。(SaM)
結論:ゆえに(∴)、「全てのS」は、Pではない。(SeP)
具体例。(M=爬虫類、S=ヘビ、P=有毛生物)
大前提:「全ての爬虫類」は、「有毛生物」ではない。(MeP)
小前提:「全てのヘビ」は、「爬虫類」である。(SaM)
結論:ゆえに(∴)、「全てのヘビ」は、「有毛生物」ではない。(SeP)
EAO-1(Celaront) : 弱勢式
第一格のEAO、すなわち「MeP SaM SoP」の三段論法。
上記の「EAE-1」と同じ形だが、結論の主語(S)だけを不必要に特称にしてしまっている「弱勢式」。
以下のようになる。
大前提:「全てのM」は、Pではない。(MeP)
小前提:「全てのS」は、Mである。(SaM)
結論:ゆえに(∴)、「あるS」は、Pではない。(SoP)
具体例。(M=爬虫類、S=ヘビ、P=有毛生物)
大前提:「全ての爬虫類」は、「有毛生物」ではない。(MeP)
小前提:「全てのヘビ」は、「爬虫類」である。(SaM)
結論:ゆえに(∴)、「あるヘビ」は、「有毛生物」ではない。(SoP)