什么是谓词逻辑中的项

谓词逻辑中的项指变项和常项，变项又分为自由变项和约束变项。
变项都用x、y、z表示（注意是小写），常项用小写a-w表示。
例如，所有人都会死
牛顿会死。
令所有人为x（所有人是无确定的对象，所以用变项来表示），牛顿为b（牛顿是具体的一个人，用常项表示），会死为B（大写字母）。
符号化B（x）
B（b）。
满意请采纳，谢谢。

1.个体常元和个体变元是项
2.0元函数是项
3.若有n个项t1...tn和n元函数f，则f(t1,...,tn)是项
4.有限次使用上述规则得到的是项