狭义谓词逻辑(restricted predicate logic)亦称一阶谓词逻辑或一阶逻辑一种基本的谓词逻辑.，该逻辑的特点是在其中除命题联结词外，所讨论的函词和谓词都只以个体为变元，而量词的指导变元也只是个体一阶逻辑是应用最广泛的逻辑，它可以形式公理化。

概念

但一阶逻辑不是自封闭的.虽然一阶逻辑中含有量词“∃”“∀”以及谓词变元A，函词变元 F，但没有以谓词变元和函词变元为指导变元的量词.例如，当A,B为谓词变元，公式A(x)→B (x)是一阶逻辑的公式，但(∃A)(∃B)[A(x)→B (x)]却不是一阶逻辑的公式一阶谓词逻辑的形式系统和狭义谓词逻辑的形式系统分别称为一阶谓词演算和狭义谓词演算.