谓词逻辑的中心概念是谓词，谓词就是跟随主语的那个部分。 比如： | 古典音乐与哲学

谓词逻辑的中心概念是谓词，谓词就是跟随主语的那个部分。

比如：

“x是一个学过逻辑学的人”
x是主词，“是一个学过逻辑学的人”就是谓词。

x本身就是自变量，它的指代决定了命题的真假。

若把“...是一个学过逻辑学的人”标记为f，则此命题的函数表达式为：

f(x)