个体词（谓词逻辑）

个体词
术语名称	个体词
英语名称	individual

个体词(individual)（个体）是指命题中，指称某个东西（被称为个体对象）的词。

个体词包括常项和变项（变元、变号）两种。其中，常项，可以简单理解为指向某个个体对象的专名，而这个个体对象被称为这个专名的所指。变项，既不是直接指称某个实际所指的专名，也不直接是某个所指本身，而是具有某个由专名构成的范围（域），会从中取一个专名作为其取值（值）。变项通过取值的专名进行指称。

问题中涉及的全部个体对象的集合称为个体域或论域(individual domain/field)。

谓词逻辑/一阶逻辑
命题结构	项	个体词（个体常项、个体变项）、论域/个体域、函项、项、闭项
	谓词	谓词（谓词常项、谓词变项）
	量词	量词（辖域、出现）、全称量词 [math]\displaystyle{ \forall }[/math] 、存在量词 [math]\displaystyle{ \exists }[/math]
谓词公式	形式定义	谓词语言 [math]\displaystyle{ \mathcal{L}^* }[/math] 、谓词公式、闭式
	逻辑语义	结构、指派/赋值、基本语义定义、解释、满足、模型
	语义分类	普遍有效公式、可满足式、不可满足式
	语义关系	逻辑等值/逻辑等价 [math]\displaystyle{ = }[/math]/[math]\displaystyle{ \Leftrightarrow }[/math] 、逻辑蕴涵 [math]\displaystyle{ \Rightarrow }[/math]
	范式	前束范式、 Skolem 范式
	个体变项代入	可自由代入、易字、简单易字变形、易字变形
	命题变元代入	置换定理