p:是人都要死的
q：苏格拉底是人
r：苏格拉底要死
(p,q,r均已不可再分解)
命题逻辑：p,q->r（这显然是不能够证明的）
命题逻辑不能够阐述命题之间的关联
这时只能引入谓词
p(x):x是要死的
q(x):x是人
已知对任意x if q(x),then p(x)
and q(Socrates) is ture,then p(Socrates)