什么是谓词逻辑中的项

什么是谓词逻辑中的项

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