クラス論理学

−定言的三段論法−

　全ての論理学者は数学者である。　　　　　　ＰＡＭ

　ある哲学者は数学者ではない。　　　　　　　ＳＯＭ

∴ある哲学者は論理学者ではない。　　　　　∴ＳＯＰ

ＮＥＸＴ