中大考研逻辑真题“所有的人都是会死的,苏格拉底是人,所以,苏格拉底是会死的”,请用谓词逻辑证明.

三段论的结构,大前提；小前提——〉结论
大前提：人会死.
小前提：苏格拉底是人.
结论：苏格拉底会死.
主项（小项）：苏格拉底
谓项（大项）：会死.
中项：人
中项周延：（所有的）人都会死
大前提和小前提都是肯定命题.
三段论成立
（题外话,用集合语言表述就是,苏格拉底