西安电子科技大学谓词$2.1.1软件学院命题逻辑的推理能力有局限性：例如：所有的人都是要死的。苏格拉底是人。所以苏格拉底是要死的。以上这样一个简单的推理问题，命题逻辑无法解决。原因在于其中的知识蕴含在个体和总体之间，命题逻辑的无法表达这种关系。西安电子科技大学 §2.1.1 谓词 软件学院 命题逻辑的推理能力有局限性： 例如： 所有的人都是要死的。 苏格拉底是人。 所以苏格拉底是要死的。 以上这样一个简单的推理问题，命题逻辑无法解决。 原因在于其中的知识蕴含在个体和总体之间，命题逻 辑的无法表达这种关系