引例 口人都要死的,苏格拉底是人,所以苏格拉底要 死的 a father(x, y)A father(y, z)->grandfather(x, z) 口命题逻辑无法处理上述推理!引例  人都要死的，苏格拉底是人，所以苏格拉底要 死的  father(x, y)  father(y, z) → grandfather(x, z)  命题逻辑无法处理上述推理！