命题演算以由简单命题通过联结词构成的复合命题为讨论对象，不再对简单命题作进一步的分析，即命题逻辑只讨论以简单命题为基本元素的复合命题之间的推理关系，这种逻辑体表达能力很弱。通过下面的两个例子，我们能很清楚的看到命题逻辑的局限性与谓词逻辑引入的必要性。 　　（1） P：人必有一死 （凡人必死） 　　Q：孔子是人 　　-------------------------------------------------------- 　　R：孔子必死 　　利用命题逻辑，仅能形式化为（P∧Q）→R 　　显然，对于任意的P，Q，R来说，这个推理形式不是重言式，即，在命题逻辑中无法给出完整准确的描述。 　　（2） P：张三是学生 　　Q：李四是学生 　　P，Q两个独立的命题，未能反映或突出二者的共性与特点。因此，有必要深入研究它们的形式结构和逻辑关系。 　　在这一章中，我们要构造一种比命题逻辑表达能力更强的逻辑，以便能说明诸如上述类型推理的正确性。这种新的逻辑称为一阶谓词逻辑或狭谓词逻辑，在这种逻辑中，我们要对命题作进一步分析。