第二章谓词逻辑 在命题逻辑中,主要研究命题与命题之间的 逻辑关系,其组成单元是原子命题,而原子 命题是以一个具有真假意义的完整的陈述句 为单位,不考虑其结构、成分(如主语,谓 语等),对原子命题的联接关系的研究,不 可能揭示原子命题的内部的特征。因此存在 着很大的局限性:不能表达出每个原子公式 的内部结构之间的关系,使得很多思维过程 不能在命题逻辑中表示出来,例如著名的苏 格拉底三段论 1/841/84 第二章 谓词逻辑 在命题逻辑中，主要研究命题与命题之间的 逻辑关系，其组成单元是原子命题，而原子 命题是以一个具有真假意义的完整的陈述句 为单位，不考虑其结构、成分(如主语，谓 语等)，对原子命题的联接关系的研究，不 可能揭示原子命题的内部的特征。因此存在 着很大的局限性：不能表达出每个原子公式 的内部结构之间的关系，使得很多思维过程 不能在命题逻辑中表示出来，例如著名的苏 格拉底三段论