狹義謂詞邏輯

狹義謂詞邏輯(restricted predicate logic)亦稱一階謂詞邏輯或一階邏輯一種基本的謂詞邏輯.，該邏輯的特點是在其中除命題聯結詞外，所討論的函詞和謂詞都只以個體為變元，而量詞的指導變元也只是個體一階邏輯是套用最廣泛的邏輯，它可以形式公理化。

概念

但一階邏輯不是自封閉的.雖然一階邏輯中含有量詞“」”“V”以及謂詞變元A，函詞變元 F，但沒有以謂詞變元和函詞變元為指導變元的量詞.例如，當A,B為謂詞變元，公式ACx)--}B (x)是一階邏輯的公式，但(}A)(}B)[A(二)--}B (x)]卻不是一階邏輯的公式一階謂詞邏輯的形式系統和狹義謂詞邏輯的形式系統分別稱為一階謂詞演算和狹義謂詞演算.