（一）个体域、个体和个体词个体域是指某一语言环境中可能论及的每一件具体事物所组成的整体个体域中的元素叫个体。个体词是表示个体的符号。表示个体域中不确定个体的符号叫个体变项，表示个体域中确定个体的符号叫个体常项
（一）个体域、个体和个体词 个体域是指某一语言环境中可能 论及的每一件具体事物所组成的整体。 个体域中的元素叫个体。个体词是表 示个体的符号。表示个体域中不确定 个体的符号叫个体变项，表示个体域 中确定个体的符号叫个体常项
如：在集合论中，如果取全体集合做成的类V作为个体域，空集就是其中的一个个体常项，对任意的xEV（x表示任意的集合），x是一个个体变项。在数论中，如果取自然数集N作为个体域，对任意的nEN（n表示任意的自然数），n是N一个个体变项，O是IN一个个体常项
如：在集合论中，如果取全体集合 做成的类V作为个体域，空集就是其 中的一个个体常项，对任意的x∈V （x表示任意的集合）， x是一个个 体变项。在数论中，如果取自然数集 N作为个体域，对任意的n∈N（n表 示任意的自然数），n是N一个个体 变项，0是 N一个个体常项
（二）谓词现在，我们将通过两个命题来说明什么是谓词例1：这个皮球是圆的解：令F：“...是圆的”这种性质则F(x):“x是圆的”令a:“这个皮球”，那么F(a):i“这个皮球是圆的
（二）谓词 现在，我们将通过两个命题来说 明什么是谓词。 例1： 这个皮球是圆的。 解：令 F：“.是圆的”这种性质， 则 F(x)：“x是圆的”。 令a：“这个皮球”，那么 F(a)：“这个皮球是圆的”
这里，F是一个一元谓词，表示“圆”这种性质。x和a是个体词，它们表示具有“圆”这种性质的个体。其中：x是不固定的，它是一个个体变项；a是固定的，它是一个个体常项
这里，F是一个一元谓词，表示 “圆”这种性质。x和a是个体词， 它们表示具有 “圆”这种性质的个 体。其中：x是不固定的，它是一个 个体变项；a是固定的，它是一个个 体常项