第2章谓词逻辑 原子命题是命题逻辑研究的基本单位,没有对原子命题的 内容结构及其逻辑关系进行讨论,在实际思维中,仅有命题逻 辑工具是不够的例如,著名的苏格拉底三段论 大前提:所有的人都是要死的 小前提:苏格拉底是人 结论:所以,苏哥拉底是要死的. 这个推理的有效性在命题逻辑中无法证明,因为上面的每 个命题都是原 题,可以分别用p、q、「表示,然而(pAq) →在命题逻辑中是无效推理. 之所以出现这种推理本身是正确的,但无法证明其有效的 题,是因为没有对原子命题的内部形式结构及其逻辑关系进 行讨论,这正是谓词逻辑首先要研究的内 本书讨论的谓词逻辑又称为一阶逻辑.第2章 谓词逻辑 原子命题是命题逻辑研究的基本单位，没有对原子命题的 内容结构及其逻辑关系进行讨论，在实际思维中，仅有命题逻 辑工具是不够的.例如，著名的苏格拉底三段论： 大前提：所有的人都是要死的. 小前提：苏格拉底是人. 结论：所以，苏哥拉底是要死的. 这个推理的有效性在命题逻辑中无法证明，因为上面的每 个命题都是原子命题，可以分别用p、q、r表示，然而（p∧q） r在命题逻辑中是无效推理. 之所以出现这种推理本身是正确的，但无法证明其有效的 问题，是因为没有对原子命题的内部形式结构及其逻辑关系进 行讨论，这正是谓词逻辑首先要研究的内容. 本书讨论的谓词逻辑又称为一阶逻辑