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