p:是人都要死的
q：蘇格拉底是人
r：蘇格拉底要死
(p,q,r均已不可再分解)
命題邏輯：p,q->r（這顯然是不能夠證明的）
命題邏輯不能夠闡述命題之間的關(guān)聯(lián)
這時(shí)只能引入謂詞
p(x):x是要死的
q(x):x是人
已知對(duì)任意x if q(x),then p(x)
and q(Socrates) is ture,then p(Socrates)