第二章 - 谓词逻辑

在命题逻辑中，主要研究命题和命题深处，其基本组成单位是原子命题，并把它看作不可再分解的。

但是原子命题，实际上还是可以作进一步分析的，特别是两个原子命题间，常常有一些共同特征，为了刻划命题内部的逻辑结构，就需要研究谓词逻辑。

此外，命题逻辑的推证中有着很大的局限性，有些简单的论断也不能用命题逻辑进行推证。

例如，所有的的人都是要死的，苏格拉底是人，所以苏格拉底是要死的。

这个简单而有名的苏格拉底三段论，都无法用命题逻辑予以推证。这些都使我们要对命题的内部关系进行深入地研究。