クラス論理学

−定言的三段論法−

　全てのヒッピーはマリファナの吸引者である。　　　ＭＡＰ

　いかなる社長もヒッピーではない。　　　　　　　　ＳＥＭ

∴いかなる社長もマリファナの吸引者ではない。　　∴ＳＥＰ

ＮＥＸＴ