谓词逻辑 在命题逻辑中,把命题分解到原子命题为 止,认为原子命题是不能再分解的,仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样,有些推理用命题逻辑就难 以确切地表示出来。例如,著名的亚里士多德 三段论苏格拉底推理: Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理： 谓词逻辑
所有的人都是要死的, 苏格拉底是人, 所以苏格拉底是要死的。 根据常识,认为这个推理是正确的。但是,若用 s来表示,设PQ和R分别表示这三个原子命 题,则有 P,Q→R Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 所有的人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。 根据常识，认为这个推理是正确的。但是，若用 Ls来表示，设P、Q和R分别表示这三个原子命 题，则有 P，QR
然而,(PQ→R并不是永真式,故上述推理形 式又是错误的。一个推理,得出矛盾的结论 问题在哪里呢?问题就在于这类推理中,各命 题之间的逻辑关系不是体现在原子命题之间, 而是体现在构成原子命题的内部成分之间,即 体现在命题结构的更深层次上。对此,Ls是无 能为力的。所以,在研究某些推理时,有必要 对原子命题作进一步分析,分析出其中的个体 词,谓词和量词,研究它们的形式结构的逻辑 关系、正确的推理形式和规则,这些正是谓词 逻辑(简称为Lp)的基本内容 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 然而，(P∧Q)→R并不是永真式，故上述推理形 式又是错误的。一个推理，得出矛盾的结论， 问题在哪里呢? 问题就在于这类推理中，各命 题之间的逻辑关系不是体现在原子命题之间， 而是体现在构成原子命题的内部成分之间，即 体现在命题结构的更深层次上。对此，Ls是无 能为力的。所以，在研究某些推理时，有必要 对原子命题作进一步分析，分析出其中的个体 词，谓词和量词，研究它们的形式结构的逻辑 关系、正确的推理形式和规则，这些正是谓词 逻辑（简称为Lp）的基本内容
谓词逻辑 如有句子 张红是一个大学生; 王南是一个大学生; 李华是一个大学生。 则在命题中必须要用三个命题P,Q,R 来表示。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 如有句子： 张红是一个大学生； 王南是一个大学生； 李华是一个大学生。 则在命题中必须要用三个命题P，Q，R 来表示。 谓词逻辑
在Lp中,命题是具有真假意义的陈述句。从语法 上分析,一个陈述句由主语和谓语两部分组成。 在Lp中,为揭示命题内部结构及其不同命题的 内部结构关系,就按照这两部分对命题进行分 析,并且把主语称为个体或客体,把谓语称为 谓词。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 在Lp中，命题是具有真假意义的陈述句。从语法 上分析，一个陈述句由主语和谓语两部分组成。 在Lp中，为揭示命题内部结构及其不同命题的 内部结构关系，就按照这两部分对命题进行分 析，并且把主语称为个体或客体，把谓语称为 谓词