三段論法
第二格のAEE、すなわち「PaM SeM SeP」の三段論法は、以下のようになる。
大前提:「全てのP」は、Mである。(PaM)
小前提:「全てのS」は、Mではない。(SeM)
結論:ゆえに(∴)、「全てのS」は、Pではない。(SeP)
具体例。(M=爬虫類、S=有毛生物、P=ヘビ)
大前提:「全てのヘビ」は、「爬虫類」である。(PaM)
小前提:「全ての有毛生物」は、「爬虫類」ではない。(SeM)
結論:ゆえに(∴)、「全てのヘビ」は、「有毛生物」ではない。(SeP)
AEO-2(Camestros) : 弱勢式
第二格のAEO、すなわち「PaM SeM SoP」の三段論法。
上記の「AEE-2」と同じ形だが、結論の主語(S)だけを不必要に特称にしてしまっている「弱勢式」。
以下のようになる。
大前提:「全てのP」は、Mである。(PaM)
小前提:「全てのS」は、Mではない。(SeM)
結論:ゆえに(∴)、「あるS」は、Pではない。(SoP)
具体例。(M=有蹄生物、S=人間、P=ウマ)
大前提:「全てのウマ」は、「有蹄生物」である。(PaM)
小前提:「全ての人間」は、「有蹄生物」ではない。(SeM)
結論:ゆえに(∴)、「ある人間」は、「ウマ」ではない。(SoP)
第二格のAOO、すなわち「PaM SoM SoP」の三段論法は、以下のようになる。
大前提:「全てのP」は、Mである。(PaM)
小前提:「あるS」は、Mではない。(SoM)
結論:ゆえに(∴)、「あるS」は、Pではない。(SoP)
具体例。(M=有用、S=ウェブサイト、P=参考情報)
大前提:「全ての参考情報」は、「有用」である。(PaM)
小前提:「あるウェブサイト」は、「有用」ではない。(SoM)
結論:ゆえに(∴)、「あるウェブサイト」は、「参考情報」ではない。(SoP)