逻辑分类的真正问题

大前提:人会死。

小前提:苏格拉底是人。

结论:苏格拉底将死。

事件(Event):苏格拉底

谓语(事件):将死。

项目:人

GAI:(所有)人都会死

大前提和小前提是肯定性命题。

三段论成立

(题外话，用套语表达就是苏格拉底