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